Logic for Problem Solving

Front Cover
Elsevier North Holland, 1979 - Computer programming - 287 pages
0 Reviews
Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an introduction to logic, the theory of problem-solving and computer programming. Annotation copyrighted by Book News, Inc., Portland, OR

What people are saying - Write a review

We haven't found any reviews in the usual places.

Other editions - View all

References to this book

All Book Search results »

About the author (1979)

Robert Kowalski is Emeritus Professor and Research Investigator in the Department of Computing at Imperial College London. He recently received the IJCAI 2011 Award for Research Excellence for his contributions to logic for knowledge representation and problem solving, including his pioneering work on automated theorem proving and logic programming.

Bibliographic information