×

兹马思-数学第一资源

TPTP用算术方法键入一阶表单。(英语) Zbl 1352.68217
Bjørner,Nikolaj(编辑)等,编程逻辑,人工智能和推理。第18届国际会议,LPAR-18,委内瑞拉梅里达,2012年3月11日至15日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-28716-9/pbk)。计算机科学课堂讲稿7180406-419(2012)。
概要:tptpworld是一个成熟的基础设施,支持自动定理证明系统的研究、开发和部署。最近,TPTP世界已经被扩展到包括一个类型化的一阶逻辑,这反过来又使得算术的集成成为可能。本文介绍了这些进展。
整个系列请参见[Zbl 1238.68012].

理学硕士:
68T15型 定理证明(演绎、解析等)(MSC2010)
03B35型 证明和逻辑运算的机械化
PDF格式 BibTeX公司 XML 引用
全文: 内政部