发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整地填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
待确认
  • 文献求助详情
标题
EvoLogic: Toward an ITS for Teaching Propositional Logic
EvoLogic：面向命题逻辑教学的ITS
相关领域
追踪 计算机科学 命题演算 机制（生物学） 集合（抽象数据类型） 命题公式 接口（物质） 人工智能 命题变量 程序设计语言 描述逻辑 最大气泡压力法 哲学 认识论 气泡 并行计算 中间逻辑
网址
https://doi.org/10.1007/s40593-021-00287-7
DOI
10.1007/s40593-021-00287-7 doi
其它 期刊：International Journal of Artificial Intelligence in Education
作者：Cristiano Galafassi; Fabiane Flores Penteado Galafassi; Rosa María Vicari; Eliseo Berní Reategui
出版日期：2022-01-09
求助人
Eva 在 2025-08-16 00:19:27 发布自福建，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
提交工单
相关文献
  1. On JaŚkowski's Discussive Logic( )
  2. An interpretation of the intuitionistic propositional calculus (1933/)
  3. Undecidability of the problem of recognizing axiomatizations for propositional calculi with implicat...
  4. Formalizing and Computing Propositional Quantifiers
  5. PARADOXES OF THE MATERIAL IMPLICATION
  6. On the number of variables in undecidable superintuitionistic propositional calculi
  7. On the number of variables in undecidable superintuitionistic propositional calculi
  8. Valuations for Direct Propositional Logic
  9. Second Order Propositional Calculus
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 1小时前

    Akim Akim Lv12 上传了文件

    待审核 20250816021658-f693ec5f-7869.pdf (1.69 MB)
    温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请 提交工单 反馈。

  • 3小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    00:19:31 未找到该文献，机器人已退出，请等待人工下载
    00:19:28 科研通AI机器人（日本 东京）收到请求，开始寻找文献
    00:19:27 已向机器人发送请求

  • 3小时前

    Eva Eva Lv2 求助人 发起了本次求助

更新
PDF的下载单位、IP信息已删除 (2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
Joeswith完成签到，获得积分10
1秒前
5秒前
量子星尘发布了新的文献求助10
21秒前
yyds完成签到，获得积分0
26秒前
Anyemzl完成签到，获得积分10
34秒前
LY_Qin完成签到，获得积分10
51秒前
alex_zhao完成签到，获得积分10
1分钟前
1分钟前
陶淘淘发布了新的文献求助10
1分钟前
量子星尘发布了新的文献求助10
1分钟前
双手外科结完成签到，获得积分10
1分钟前
2分钟前
skw0303发布了新的文献求助10
2分钟前
星辰大海的应助被skw0303采纳，获得30
2分钟前
zsmj23完成签到 ，获得积分0
2分钟前
ddd完成签到，获得积分10
2分钟前
悄悄完成签到，获得积分10
2分钟前
量子星尘发布了新的文献求助10
3分钟前
3分钟前
王唯一发布了新的文献求助10
3分钟前
3分钟前
天天快乐的应助被王唯一采纳，获得10
3分钟前
曲聋五完成签到 ，获得积分0
3分钟前
3分钟前
3分钟前
4分钟前
Milo完成签到，获得积分10
4分钟前
4分钟前
4分钟前
陶淘淘发布了新的文献求助10
5分钟前
5分钟前
Percy完成签到 ，获得积分10
5分钟前
苹果牌牛仔裤完成签到，获得积分10
5分钟前
量子星尘发布了新的文献求助10
5分钟前
陶淘淘完成签到，获得积分10
5分钟前
传奇3的应助被斯文墨镜采纳，获得10
6分钟前
焦糖玛奇朵完成签到，获得积分10
6分钟前
斯文墨镜完成签到，获得积分10
6分钟前
6分钟前
斯文墨镜发布了新的文献求助10
6分钟前
高分求助中
(禁止应助)【重要！！请各位详细阅读】【科研通的精品贴汇总】 10000
Plutonium Handbook 4000
International Code of Nomenclature for algae, fungi, and plants (Madrid Code) (Regnum Vegetabile) 1500
Stereoelectronic Effects 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
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 冶金 细胞生物学 免疫学
热门帖子
关注 科研通微信公众号，转发送积分 4210606
求助须知：如何正确求助？哪些是违规求助？ 3744670
关于积分的说明 11785215
捐赠科研通 3413712
什么是DOI，文献DOI怎么找？ 1873271
邀请新用户注册赠送积分活动 927804
科研通“疑难数据库（出版商）”最低求助积分说明 837223
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通