| ชื่อเรื่อง | : | Solving Symbolic Equations with PRESS |
| นักวิจัย | : | Sterling, L. , Bundy, Alan , Byrd, L. , O'Keefe, R. , Silver, B. |
| คำค้น | : | equation solving , rewrite rules , meta-level inference , logic programming |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2525 |
| อ้างอิง | : | Volume 144/1982 , http://www.springerlink.com/content/pq10m7j56j282g3v/ , http://hdl.handle.net/1842/4475 , 10.1007/3-540-11607-9_13 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | We outline a program, PRESS (PRolog Equation Solving System) for solving symbolic, transcendental, non-differential equations. The methods used for solving equations are described, together with the service facilities. The principal technique, meta-level inference, appears to have applications in the broader field of symbolic and algebraic manipulation. |
| บรรณานุกรม | : |
Sterling, L. , Bundy, Alan , Byrd, L. , O'Keefe, R. , Silver, B. . (2525). Solving Symbolic Equations with PRESS.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Sterling, L. , Bundy, Alan , Byrd, L. , O'Keefe, R. , Silver, B. . 2525. "Solving Symbolic Equations with PRESS".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Sterling, L. , Bundy, Alan , Byrd, L. , O'Keefe, R. , Silver, B. . "Solving Symbolic Equations with PRESS."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2525. Print. Sterling, L. , Bundy, Alan , Byrd, L. , O'Keefe, R. , Silver, B. . Solving Symbolic Equations with PRESS. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2525.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
