Logic for problem solving

RecordNumber :

17027

LC Class :

LC Number :

LC CutterNumber :

.K68

Dewey Class :

519

Dewey Date :

Author :

Title :

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

Subject :

Holding Info. :

0444003657

DocumentNumber :

2138

Index :

Includes index.

Biblography :

Bibliography: p. 247-260.

BL :

Link To Document :