| ชื่อเรื่อง | : | Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof |
| นักวิจัย | : | Wiggins, G. A. , Bundy, Alan , Kraan, I. , Hesketh, J. |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2534 |
| อ้างอิง | : | http://hdl.handle.net/1842/4517 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | - |
| บรรณานุกรม | : |
Wiggins, G. A. , Bundy, Alan , Kraan, I. , Hesketh, J. . (2534). Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Wiggins, G. A. , Bundy, Alan , Kraan, I. , Hesketh, J. . 2534. "Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Wiggins, G. A. , Bundy, Alan , Kraan, I. , Hesketh, J. . "Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2534. Print. Wiggins, G. A. , Bundy, Alan , Kraan, I. , Hesketh, J. . Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2534.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
