| ชื่อเรื่อง | : | Increasing the Versatility of Heuristic Based Theorem Provers |
| นักวิจัย | : | Bundy, Alan , Manning, A. , Ireland, A. |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2536 |
| อ้างอิง | : | 3-540-56944-8 , http://portal.acm.org/citation.cfm?id=664139 , http://hdl.handle.net/1842/4559 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Heuristic based theorem proving systems typically impose a fixed ordering on the strategies which they embody. The ordering reflects the general experience of the system designer. As a consequence, there will exist a variety of specific instances where the fixed ordering breaks down. We present an approach liberates such systems by introducing a more versatile framework for organising proof strategies. |
| บรรณานุกรม | : |
Bundy, Alan , Manning, A. , Ireland, A. . (2536). Increasing the Versatility of Heuristic Based Theorem Provers.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Manning, A. , Ireland, A. . 2536. "Increasing the Versatility of Heuristic Based Theorem Provers".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Manning, A. , Ireland, A. . "Increasing the Versatility of Heuristic Based Theorem Provers."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2536. Print. Bundy, Alan , Manning, A. , Ireland, A. . Increasing the Versatility of Heuristic Based Theorem Provers. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2536.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
