Automatic theorem proving.
概要
| 作品: | 16 作品在 3 項出版品 3 種語言 | |
|---|---|---|
書目資訊
A fascinating country in the world of computing :your guide to automated reasoning /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical ReasoningEssays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-電子資源)
The automation of reasoning with incomplete informationfrom semantic foundations to efficient computation /
by:
(書目-電子資源)
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part II /
by:
(書目-電子資源)
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part I /
by:
(書目-電子資源)
更多
較少的
主題