Automated reasoning : introduction and applications /

Bibliographic Details

Other Authors:	Wos, Larry
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice-Hall, [1984]
Subjects:	Automatic theorem proving. Artificial intelligence. Computer programming.