Term indexing /

Bibliographic Details
Main Author:	Graf, Peter, 1966-
Format:	Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 1053 Lecture notes in computer science. Lecture notes in artificial intelligence
Subjects:	Deducción y prueba de teoremas. Deduction and theorem proving. Logica matemática-Computación. Mathematical logic-Computation. Gramáticas y otros sistemas de reescritura. Grammars and other rewriting systems.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123323.0
008	111221s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540610405
040			\|a AR_CdUFM \|c AR_CdUFM
100	1		\|9 6615 \|a Graf, Peter, \|d 1966-
245	1	0	\|a Term indexing / \|c Peter Graf.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a xiv, 284 p. : \|b il. ; \|c 24 cm.
490	1		\|a Lecture notes in computer science ; \|v v. 1053
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 Logica matemática-Computación.
650		4	\|a Mathematical logic-Computation.
650		4	\|a Gramáticas y otros sistemas de reescritura.
650		4	\|a Grammars and other rewriting systems.
830		0	\|a Lecture notes in computer science ; \|v v. 1053
830		0	\|a Lecture notes in computer science. \|p Lecture notes in artificial intelligence
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2011-12-21
952			\|0 0 \|1 0 \|4 0 \|6 C_LNAI_V__1053_000000000000000 \|7 0 \|9 10758 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNAI v. 1053 \|p 15252 \|r 2008-06-09 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8447 \|d 8447