| ชื่อเรื่อง | : | The Automation Of Proof By Mathematical Induction |
| นักวิจัย | : | Bundy, Alan |
| คำค้น | : | Informatics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | http://hdl.handle.net/1842/3394 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Informatics Report Series , EDI-INF-RR-0002 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Chapter appears in Handbook of Automated Reasoning Edited by: Alan Robinson and Andrei Voronkov ISBN: 978-0-444-50813-3 This paper is a chapter of the Handbook of Automated Reasoning edited by Voronkov and Robinson. It describes techniques for automated reasoning in theories containing rules of mathematical induction. Firstly, inductive reasoning is defined and its importance fore reasoning about any form of repitition is stressed. Then the special search problems that arise in inductive theories are explained followed by descriptions of the heuristic methods that have been devised to solve these problems. |
| บรรณานุกรม | : |
Bundy, Alan . (2542). The Automation Of Proof By Mathematical Induction.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan . 2542. "The Automation Of Proof By Mathematical Induction".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan . "The Automation Of Proof By Mathematical Induction."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2542. Print. Bundy, Alan . The Automation Of Proof By Mathematical Induction. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
