期刊文章详细信息
王浩算法的Java实现
文献类型：期刊文章
机构地区：[1]贵阳学院计算机科学系,贵州贵阳550003 [2]中国人民解放军沈阳炮兵学院电子系,辽宁沈阳110867
年 份：2010
期 号：05X
起止页码：56-56
语 种：中文
收录情况：普通刊
摘 要：用Java语言实现数理逻辑中命题逻辑的机械证明,从而抛开繁重的脑力证明过程,可用计算机证明任何命题逻辑的定理和公式。
关 键 词：王浩算法 相继式 JAVA语言
分 类 号：TP312]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
