Normal view MARC view ISBD view

Automated theorem proving : (Record no. 40599)

000 -LEADER
fixed length control field	04524cam a2200421 a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	9780821876145 (online)
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	511.3
245 10 - TITLE STATEMENT
Title	Automated theorem proving :
Sub Title	after 25 years /
Statement of responsibility, etc	W.W. Bledsoe and D.W. Loveland, editors.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication	Providence, R.I. :
Name of publisher	American Mathematical Society,
Year of publication	1984.
300 ## - PHYSICAL DESCRIPTION
Number of Pages	1 online resource (ix, 360 p.)
490 1# - SERIES STATEMENT
Series statement	Contemporary mathematics,
500 ## - GENERAL NOTE
General note	"Proceedings of the Special Session on Automatic Theorem Proving, 89th Annual Meeting of the American Mathematical Society, held in Denver, Colorado, January 5-9, 1983"--T.p. verso.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Includes bibliographies.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term	Automatic theorem proving
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Bledsoe, W. W.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Loveland, Donald W.
856 4# - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	http://www.ams.org/conm/029/
856 4# - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	http://dx.doi.org/10.1090/conm/029
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	E-BOOKS
588 ## -
--	Description based on print version record.

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Current library	Accession Number	Uniform Resource Identifier	Koha item type
				IMSc Library	EBK11305	http://dx.doi.org/10.1090/conm/029	E-BOOKS