Wos Larry [ed..]
Automated reasoning introduction and applications Larry Wos ... [et al.]. - Englewood Cliffs, N.J. : Prentice-Hall, c1984. - xiv, 482 p. : ill. ; 24 cm.
Includes index
0130544531; 0130544469 (pbk.)
Automatic theorem proving.; Artificial intelligence.; Computer programming.
Automated reasoning introduction and applications Larry Wos ... [et al.]. - Englewood Cliffs, N.J. : Prentice-Hall, c1984. - xiv, 482 p. : ill. ; 24 cm.
Includes index
0130544531; 0130544469 (pbk.)
Automatic theorem proving.; Artificial intelligence.; Computer programming.