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) |