Logic for Problem Solving
Kowalski, Robert
Logic for Problem Solving by Robert Kowalski - New York North-Holland 1979 - 287p - Artificial Intelligence Series .
0444003657
519.7 / N793
Logic for Problem Solving by Robert Kowalski - New York North-Holland 1979 - 287p - Artificial Intelligence Series .
0444003657
519.7 / N793