A Proof Tree Builder for Sequent Calculus and Hoare Logic
A Proof Tree Builder for Sequent Calculus and Hoare Logic
复制标题
用于顺序微积分和霍尔逻辑的证明树构建器
DOI：
10.4204/eptcs.375.5
复制
发表时间：
2023
影响因子：
--
通讯作者：
Korkut, Joomy
中科院分区：
文献类型：
--
作者：
Korkut, Joomy
登录
查看更多内容
红杉：逻辑学家的游乐场
DOI：
--
发表时间：
2020
期刊：
International Joint Conference on Automated Reasoning
影响因子：
--
作者：
Giselle Reis;Zan Naeem;Mohammed Hashim
通讯作者：
Mohammed Hashim
用令人难以置信的证明机证明视觉定理
DOI：
10.1007/978-3-319-43144-4_8
发表时间：
2016
期刊：
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1
影响因子：
--
作者：
Joachim Breitner
通讯作者：
Joachim Breitner
使用游戏化语义进行编程教学
DOI：
10.1145/3025453.3025711
发表时间：
2017
期刊：
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems
影响因子：
--
作者：
Ian A. Arawjo;Cheng;A. Myers;Erik Andersen;François Guimbretière
通讯作者：
François Guimbretière
熊猫：所有人自然演绎的证明助手。
DOI：
--
发表时间：
2011
期刊：
Third International Congress on Tools for Teaching Logic
影响因子：
--
作者：
O. Gasquet;François Schwarzentruber;M. Strecker
通讯作者：
M. Strecker
单击并收集交互式线性逻辑证明器
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
Etienne Callies;Olivier Laurent
通讯作者：
Olivier Laurent