| ชื่อเรื่อง | : | General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving |
| นักวิจัย | : | Madden, P. , Bundy, Alan |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2536 |
| อ้างอิง | : | http://hdl.handle.net/1842/4531 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | - |
| บรรณานุกรม | : |
Madden, P. , Bundy, Alan . (2536). General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Madden, P. , Bundy, Alan . 2536. "General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Madden, P. , Bundy, Alan . "General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2536. Print. Madden, P. , Bundy, Alan . General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2536.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
