LOGIC FOR PROBLEM SOLVING / ROBERT KOWALSKI
| Alternative title: | LOGIC FOR PROBLEM SOLVING |
|---|---|
| Year of publication: |
1983 ; 3. PRINT.
|
| Authors: | Kowalski, Robert |
| Publisher: |
NEW YORK ; OXFORD : NORTH HOLLAND |
| Subject: | Programmierung | Mathematische Logik | Problemlösen | Datenverarbeitung | Künstliche Intelligenz | Logik |
| Extent: | 287 S. |
|---|---|
| Series: | Elsevier computer science library / Artificial intelligence series. - New York [u.a.] : American Elsevier Publ. Co.. - Vol. 7 |
| Type of publication: | Book / Working Paper |
| ISBN: | 0-444-00365-7 |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004583906