Logic for problem solving

Author Statement

Robert Kowalski

Publication

Elsevier North Holland

Publication Year

c1979

Collation

287 p. ill. 24 cm

Series

Artificial intelligence series , The Computer science library

Notes

Includes index , Bibliography: p. 247-260.

Subject

Problem solving. , Computer programming. , Logic, Symbolic and mathematical.

Main class

519.7

Link To Document