Automated reasoning
Subtitle: 33 basic research problems
By: Larry Wos.
Publisher: Prentice-Hall
Published: 1988
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 319
Subjects: Automatic theorem proving.; Artificial intelligence.; Computer programming.
Other titles: Automated reasoning.
Notes: Bibliography: p. 273-282.
Companion vol. to: Automated reasoning : introduction and applications / Larry Wos ... [et al.]. c1984.
Includes index.