文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Klaus Weich
发表
Decision Procedures for Intuitionistic Propositional Logic by Program Extraction
Klaus Weich, Klaus Weich, 1998, TABLEAUX.
Improving proof search in intuitionistic propositional logic
Klaus Weich, 2001 .