Automated reasoning 33 basic research problems

Bibliographic Details
Main Author:	Wos, Larry (Author)
Format:	Book
Published:	Englewood Cliffs, NJ Prentice-Hall c1988
Subjects:	Artificial intelligence Automated theorem proving Electronic digital computers > Programming

Description
Physical Description:	319 p. ; 23 cm.
ISBN:	013054552X

Similar Items