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

MARC


LEADER	00000cam a2200000 7i4500
001	0000017253
020			\|a 0130544531
090	0	0	\|a QA76.9,A96 \|b A93 1984
245	0	0	\|a Automated reasoning \|c Larry Wos ... [et. al.]
260	2		\|a Englewood Cliffs, NJ \|b Prentice-Hall \|c c1984
300			\|a xiv, 482 p. ; \|c 24 cm.
650		0	\|a Artificial intelligence
650		0	\|a Automated theorem proving
650		0	\|a Electronic digital computers \|x Programming
700	0		\|a Wos, Larry \|e author
999			\|a 1000031703 \|b Book \|c Close Access \|e Tembila Campus