| ชื่อเรื่อง | : | Semantic trees: New foundations for automatic theorem-proving |
| นักวิจัย | : | Hayes, Patrick J. |
| คำค้น | : | computer science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | Meltzer, Bernard |
| ปีพิมพ์ | : | 2516 |
| อ้างอิง | : | http://hdl.handle.net/1842/8115 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | This dissertation is concerned with theorem-proving by computer. It does not contain a great number of new results, in the sense of new computational devices for improving the efficiency of theorem-proving programs. Rather it is intended as an account of a new approach to the fundamentals of the subject. It is a work, in the main, of consolidation and entrenchment rather than of extension. Accordingly, rather a large fraction of the total is devoted to an examination - a re-examination in fact, since there have been others before me - of the ideas and presuppositions underlying theorem-proving, and an attempt to uncover the underlying reasons why certain ideas - notably that of search - have arisen so consistently in the history of the -" subject. |
| บรรณานุกรม | : |
Hayes, Patrick J. . (2516). Semantic trees: New foundations for automatic theorem-proving.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Hayes, Patrick J. . 2516. "Semantic trees: New foundations for automatic theorem-proving".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Hayes, Patrick J. . "Semantic trees: New foundations for automatic theorem-proving."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2516. Print. Hayes, Patrick J. . Semantic trees: New foundations for automatic theorem-proving. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2516.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
