| Type |  Computer File |
| ชื่อเรื่อง | Techniques of Prolog Programming with implementation of logical negation and quantified goals [electronic resource] / Tu Van Le |
| ผู้แต่ง | Le, Tu van |
| พิมพลักษณ์ | Singapore : Wiley, c1993 |
| รูปเล่ม | 2 computer disks ; 3 1/2 in. + 1 book |
| หัวเรื่อง | Negation (Logic) |
| | Prolog (Computer program language) |