王浩算法的Java实现  

作　　者：梁晟[1] 赵雷[2] 

机构地区：[1]贵阳学院计算机科学系,贵州贵阳550003 [2]中国人民解放军沈阳炮兵学院电子系,辽宁沈阳110867

出　　处：《科技信息》2010年第05X期56-56,206,共2页Science & Technology Information

摘　　要：用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。

关 键 词：王浩算法 相继式 JAVA语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]