Automatic theorem proving.
概要
作品: | 18 作品在 2 項出版品 2 種語言 |
---|
書目資訊
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
The automation of reasoning with incomplete information = from semantic foundations to efficient computation /
by:
(書目-語言資料,印刷品)
Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part II /
by:
(書目-語言資料,印刷品)
Computational logic = logic programming and beyond : essays in honour of Robert A. Kowalski.. part I /
by:
(書目-語言資料,印刷品)
更多
較少的
主題