| ชื่อเรื่อง | : | Proofs About Lists Using Ellipsis |
| นักวิจัย | : | Bundy, Alan , Richardson, Julian |
| คำค้น | : | Informatics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | http://hdl.handle.net/1842/3395 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Informatics Report Series , EDI-INF-RR-0003 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | LPAR'99: 6th International Conference on Logic for Programming and Automated Reasoning. Tbilisi, Republic of Georgia, September 6-10, 1999. Lecture Notes in Artificial Intelligence, vol. 1705. Edited by Harald Ganzinger, David McAllester, and Andrei Voronkov. Springer Verlag, September 1999. In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the LambdaClam proof planner. We use an unambiguous higher-order formulation of lists which is amenable to formal proofs without using induction, and to display using the familiar ... notation. |
| บรรณานุกรม | : |
Bundy, Alan , Richardson, Julian . (2542). Proofs About Lists Using Ellipsis.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Richardson, Julian . 2542. "Proofs About Lists Using Ellipsis".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Bundy, Alan , Richardson, Julian . "Proofs About Lists Using Ellipsis."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2542. Print. Bundy, Alan , Richardson, Julian . Proofs About Lists Using Ellipsis. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
