| ชื่อเรื่อง | : | A Survey of Automated Deduction |
| นักวิจัย | : | Bundy, Alan |
| คำค้น | : | Informatics , Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | http://hdl.handle.net/1842/3392 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Informatics Report Series , EDI-INF-RR-0001 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications. |
| บรรณานุกรม | : |
Bundy, Alan . (2542). A Survey of Automated Deduction.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan . 2542. "A Survey of Automated Deduction".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan . "A Survey of Automated Deduction."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2542. Print. Bundy, Alan . A Survey of Automated Deduction. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
