Logic for Problem Solving

Shelfclass_id 4.B.5
Sortkey KOWALSKI, ROBERT
Authors Robert Kowalski
Title Logic for Problem Solving
Publisher North-Holland
Year cop. 1979
Languages eng
Isbn 0444003657, 0444003681
Series Artificial intelligence series
Volume 7
Description (hft.) (inb.) 487 s
Record date 20060713
Location New York
Keywords Mathematical logic, Matematisk logik (Programmeringsspråk), Matematisk logik, Mathematical logic (Computer programming languages)