Automated reasoning

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

Description
Physical Description:	xiv, 482 p. ; 24 cm.
ISBN:	0130544531

Similar Items