Title: Logical foundations of artificial intelligence
Subjects: Artificial intelligence, Q335 .g37 1987, 006.3