发布文献求助

EvoLogic: Toward an ITS for Teaching Propositional Logic

追踪计算机科学命题演算机制（生物学）集合（抽象数据类型）命题公式接口（物质）人工智能命题变量程序设计语言描述逻辑最大气泡压力法哲学认识论气泡并行计算中间逻辑

作者

Cristiano Galafassi,Fabiane Flores Penteado Galafassi,Rosa María Vicari,Eliseo Berní Reategui

出处

期刊：International Journal of Artificial Intelligence in Education [Springer Science+Business Media]
日期：2022-01-09 卷期号：33 (1): 35-58 被引量：3

标识

DOI：10.1007/s40593-021-00287-7

求助该文献

科研通智能强力驱动
Strongly Powered by AbleSci AI

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2025年影响因子查询已上线 (2025-6-18)

更新

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 聪慧雪糕发布了新的文献求助10

刚刚; JokerCing完成签到，获得积分10

5秒前; 怪僻完成签到，获得积分10

7秒前; 直率的钢铁侠完成签到，获得积分10

7秒前; 坚持很酷完成签到，获得积分10

8秒前; 小马甲上传了应助文件

9秒前; 英俊的铭上传了应助文件

11秒前; Doctor_Peng完成签到，获得积分10

11秒前; JokerC完成签到，获得积分10

11秒前; 有机分子笼发布了新的文献求助10

14秒前; Akim上传了应助文件

15秒前; 贪玩果汁发布了新的文献求助10

16秒前; 科研通AI5上传了应助文件

16秒前; 英俊的铭上传了应助文件

16秒前; 深情安青上传了应助文件

18秒前; Rachel发布了新的文献求助10

20秒前; orixero上传了应助文件

20秒前; 我是老大上传了应助文件

21秒前; CodeCraft上传了应助文件

21秒前; 傲娇皮皮虾发布了新的文献求助10

21秒前; 量子星尘发布了新的文献求助10

22秒前; 科研通AI5上传了应助文件

24秒前; 玄叶完成签到，获得积分10

24秒前; 科研通AI2S的应助被YZ采纳，获得10

24秒前; yier发布了新的文献求助10

25秒前; 小马甲的应助被hhhm采纳，获得10

25秒前; 寂11发布了新的文献求助10

25秒前; bkagyin的应助被777采纳，获得10

25秒前; muxi暮夕发布了新的文献求助10

26秒前; ljt1998发布了新的文献求助10

27秒前; joeking发布了新的文献求助10

28秒前; 咕咕咕发布了新的文献求助10

28秒前; 活泼大侠发布了新的文献求助10

28秒前; 科研通AI5上传了应助文件

30秒前; CodeCraft的应助被爱学习的YY采纳，获得10

30秒前; zj完成签到，获得积分20

30秒前; 坦率的匪的应助被典雅的依秋采纳，获得10

34秒前; 典典发布了新的文献求助10

35秒前; 不配.的应助被张小龙采纳，获得50

35秒前; 寂11完成签到，获得积分10

35秒前

高分求助中: Plutonium Handbook 4000; International Code of Nomenclature for algae, fungi, and plants (Madrid Code) (Regnum Vegetabile) 1500; Building Quantum Computers 1000; Robot-supported joining of reinforcement textiles with one-sided sewing heads 900; Principles of Plasma Discharges and Materials Processing，3rd Edition 500; Atlas of Quartz Sand Surface Textures 500; MATLAB在电子信息类专业中的应用 400

热门求助领域（近24小时）

热门帖子: 关注科研通微信公众号，转发送积分 4212994; 求助须知：如何正确求助？哪些是违规求助？ 3747168; 关于积分的说明 11789844; 捐赠科研通 3414630; 什么是DOI，文献DOI怎么找？ 1873793; 邀请新用户注册赠送积分活动 928149; 科研通“疑难数据库（出版商）”最低求助积分说明 837447

今日热心研友

注：热心度 = 本日应助数 + 本日被采纳获取积分÷10

Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved

科研通是非营利科研互助平台，不忘初心，为科研助力

本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播

皖ICP备2024041134号-1

皖公网安备34019202002308

科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】

科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入

关注微信服务号

科研通