Automated reasoning introduction and applications

Saved in:

Bibliographic Details
Other Authors:	Wos, Larry
Format:	Book
Published:	New York McGraw-Hill 1992
Edition:	2nd ed
Subjects:	Electronic digital computers > Programming Artificial intelligence Automatic theorem proving
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-75107
020	#	#	\|a 007911251X
090	#	#	\|a QA76.9.A96 \|b A93 1992
245	#	#	\|a Automated reasoning \|b introduction and applications \|c Larry Wos ... [et al.]
250	#	#	\|a 2nd ed
260	#	#	\|a New York \|b McGraw-Hill \|c 1992
300	#	#	\|a xvi, 656 p. \|c 24 cm. + \|e 1 computer disk (5 1/4 in
500	#	#	\|a System requirements for computer disk (OTTO 2.2): IBM PC compatible or Sun workstation.
504	#	#	\|a Includes bibliographical references and index.
650	#	0	\|a Electronic digital computers \|x Programming
650	#	0	\|a Artificial intelligence
650	#	0	\|a Automatic theorem proving
700	#	#	\|a Wos, Larry
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=75107
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam
998	#	#	\|a 00245##a002.3.2\|\|00245##b002.3.3\|\|00245##c002.3.2\|\|00250##a002.5.2\|\|00260##a002.8.2\|\|00260##b002.8.4\|\|00260##c002.7.6\|\|00300##a003.4.1\|\|00300##c003.5.1\|\|00500##a002.17.2\|\|00700##a0011.2.2\|\|