| Type | Book |
| ชื่อเรื่อง | Formalism in AI and computer science / Philip Leith |
| ผู้แต่ง | Leith, Philip 1954- |
| ISBN | 0133255492 |
| พิมพลักษณ์ | New York : Ellis Horwood, c1990 |
| | New York : E. Horwood, 1990 |
| ครั้งที่พิมพ์ | 1st ed |
| รูปเล่ม | 225 p. : ill. ; 25 cm |
| หัวเรื่อง | Artificial intelligence |
| | Computer science |