Logic for problem solving /

Kowalski, Roberto

Logic for problem solving / Roberto Kowalski - New York : North-Holland, C1979 - 287 p.;, 23,5 cm. - Artificial Intelligence series .

Universal Decimal Class. No.: 519.7