| ชื่อเรื่อง | : | Isamode: Theorem Proving with Isabelle inside Emacs |
| นักวิจัย | : | Aspinall, David |
| คำค้น | : | Informatics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2543 |
| อ้างอิง | : | http://hdl.handle.net/1842/3464 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | Informatics Report Series , EDI-INF-RR-0020 |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | This paper documents Isamode, a user-interface and suite of editing functions for using the theorem prover Isabelle inside Emacs. |
| บรรณานุกรม | : |
Aspinall, David . (2543). Isamode: Theorem Proving with Isabelle inside Emacs.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Aspinall, David . 2543. "Isamode: Theorem Proving with Isabelle inside Emacs".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Aspinall, David . "Isamode: Theorem Proving with Isabelle inside Emacs."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2543. Print. Aspinall, David . Isamode: Theorem Proving with Isabelle inside Emacs. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2543.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
