| Type |  Book |
| ชื่อเรื่อง | Logic programming / edited by K.L. Clark, and S.-A. Tarnlund |
| ISBN | 0-12-175520-7 |
| พิมพลักษณ์ | London : Academic Pr., c1982 |
| รูปเล่ม | xvii, 366 p. : ill., charts ; 24 cm |
| หัวเรื่อง | Electronic digital computers --Programming [] |
| | Logic, Symbolic and mathematical |