Research Catalog
Logic for problem solving
- Title
- Logic for problem solving / Robert Kowalski.
- Author
- Kowalski, Robert.
- Publication
- New York : Elsevier North Holland, ©1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA63 .K68 | Off-site |
Details
- Description
- 287 pages : illustrations; 24 cm
- Series Statement
- Artificial intelligence series ; 7
- The Computer science library
- Uniform Title
- Computer science library.
- Artificial intelligence series ; 7.
- Subject
- Problem solving
- Computer programming
- Logic, Symbolic and mathematical
- Logic, Symbolic and mathematical
- Problem Solving
- computer programming
- Computer programming
- Problem solving
- Datenverarbeitung
- Künstliche Intelligenz
- Logik
- Mathematische Logik
- Problemlösen
- Programmierung
- Automatisches Beweisverfahren
- Probleemoplossing
- Wiskundige logica
- Programmeren (computers)
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 247-260.
- ISBN
- 0444003657
- 9780444003652
- 0444003681
- 9780444003683
- LCCN
- 79022659
- OCLC
- ocm05564433
- 5564433
- SCSB-9151880
- Owning Institutions
- Princeton University Library