Automated deduction, CADE- 14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference on Automatic Deduction Townsville, Australia, CADE
Other Authors:	McCune, William, 1953- (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1249 Lecture notes in computer science. Lecture notes in artificial intelligence
Subjects:	Deducción y prueba de teoremas. Deduction and theorem proving. Mathematical logic. Lógica matemática.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190807162915.0
008	111222s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|4 0 \|6 C_LNAI_V__1249_000000000000000 \|7 0 \|9 10278 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNAI v. 1249 \|p 14769 \|r 2013-08-23 \|w 2008-06-09 \|y LIBRO
999			\|c 8022 \|d 8022
020			\|a 3540631046
040			\|a AR_CdUFM \|c AR_CdUFM
111			\|a International Conference on Automatic Deduction \|n (14 : \|d 1997 : \|c Townsville, Australia) \|9 19896
245	1	0	\|a Automated deduction, CADE- 14 : \|b 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / \|c ed. William McCune.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a xiv, 462 p. : \|b il. ; \|c 24 cm.
490	1		\|a Lecture notes in computer science ; \|v v. 1249
490	1		\|a Lecture notes in artificial intelligence
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Deduction and theorem proving.
650		4	\|a Mathematical logic.
650		4	\|a Lógica matemática.
700	1		\|9 11236 \|a McCune, William, \|d 1953-, \|e ed.
711	2		\|9 19895 \|a CADE
830		0	\|a Lecture notes in computer science ; \|v v. 1249
830		0	\|a Lecture notes in computer science. \|p Lecture notes in artificial intelligence
942			\|c LIBRO \|2 MSC
945			\|a AB
945			\|a MCR \|d 2011-12-22