Automated theorem proving : After 25 years /

Bibliographic Details
Corporate Author:	AMS Special Session on Automatic Theorem Proving Denver, Colorado
Other Authors:	Bledsoe, W. W. (ed.), Loveland, Donald W. (ed.)
Format:	Conference Proceeding Book
Language:	English
Published:	Providence : American Mathematical Society, 1984.
Series:	Contemporary mathematics, v. 29 CONM ; v. 29
Subjects:	Computación. Lógica matemática.

MARC


LEADER	00000nam a2200000 4500
003	AR_CdUFM
005	20190813172834.0
008	130425s1984 riu\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|2 \|4 0 \|6 AMS_000000000000000_CONM_V__29 \|7 0 \|9 6361 \|a MMA \|b MMA \|c 91 \|d 2008-06-09 \|e FOMEC \|l 0 \|o AMS CONM v. 29 \|p 13208 \|r 2015-09-15 00:00:00 \|w 2008-06-09 \|y LIBRO \|z Ver Colección AMS. Contemporary mathematics.
999			\|c 4814 \|d 4814
020			\|a 082185027X
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a AMS Special Session on Automatic Theorem Proving \|d (1983 : \|c Denver, Colorado) \|9 19202
245	1	0	\|a Automated theorem proving : \|b After 25 years / \|c ed. W. W. Bledsoe, Donald W. Loveland.
260			\|a Providence : \|b American Mathematical Society, \|c 1984.
300			\|a ix, 360 p. ; \|c 26 cm.
490	0		\|a Contemporary mathematics, \|x 0271-4132 ; \|v v. 29
490	0		\|a CONM ; \|v v. 29
590			\|a Ver Colección AMS. Contemporary mathematics.
650		4	\|a Computación.
650		4	\|a Lógica matemática.
700	1		\|9 1686 \|a Bledsoe, W. W., \|e ed.
700	1		\|9 10418 \|a Loveland, Donald W., \|e ed.
942			\|c LIBRO \|2 MSC
945			\|a AB
945			\|a MCR \|d 2013-04-25