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

MARC


LEADER	00000cam a2200000 7i4500
001	0000017254
020			\|a 013054552X
090	0	0	\|a QA76.9.A96 \|b W67 1988
100	0		\|a Wos, Larry \|e author
245	0	0	\|a Automated reasoning \|b 33 basic research problems
260	2		\|a Englewood Cliffs, NJ \|b Prentice-Hall \|c c1988
300			\|a 319 p. ; \|c 23 cm.
650		0	\|a Artificial intelligence
650		0	\|a Automated theorem proving
650		0	\|a Electronic digital computers \|x Programming
745	0	0	\|a Automated reasoning
999			\|a 1000031697 \|b Book \|c Close Access \|e Tembila Campus