LinearOne:LinearOne是用于一阶(乘法直觉)线性逻辑的原型定理证明器 源码
LinearOne:LinearOne是用于一阶(乘法,直觉)线性逻辑的原型定理证明器
文件列表
LinearOne-master.zip
(预估有个29文件)
LinearOne-master
proof_generation.pl
47KB
tree234.pl
60KB
hybrid_case.pl
9KB
latex.pl
29KB
ll1_grammar.pl
3KB
lexicon.pl
9KB
portray_graph_dot.pl
1KB
dancing_links.pl
6KB
proof_generation_nd.pl
5KB
暂无评论