Clausal Intuitionistic Logic II - Tableau Proof Procedures
Clausal Intuitionistic Logic II - Tableau Proof Procedures
复制标题
子句直觉逻辑 II - Tableau 证明程序
DOI：
10.1016/0743-1066(88)90014-3
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
P. AQj
中科院分区：
文献类型：
--
作者：
L. T. Mccarty;L. Mccarty;P. AQj
