| Type |  Book |
| ชื่อเรื่อง | Computation as logic / Rene lalement ; translated by John Plaice |
| ผู้แต่ง | Lalement, Rene |
| ISBN | 0137700091 |
| | 9780137700097 |
| พิมพลักษณ์ | Paris : Masson ; Hemel , Hempstead ; Englewood Cliffs, NJ : Prentice Hall, c1993 |
| รูปเล่ม | xi, 387 pages : illustrations ; 24 cm |
| หัวเรื่อง | Functional programming (Computer science) |
| | Logic programming |
| | Logic, Symbolic and mathematical |