Logic in databases /

Bibliographic Details
Corporate Author:	International Workshop on Logic in Databases San Miniato, Italy
Other Authors:	Pedreschi, Dino (ed.), Zaniolo, Carlo (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; v. 1154 LNCS ; v. 1154
Subjects:	Administración de base de datos. Database management. Búsqueda y recuperación de la información. Information search and retrieval. Lógica matemática-Computación. Mathematical logic-Computation. Deducción y prueba de teoremas. Deduction and theorem proving.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123254.0
008	120222s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540618147
040			\|a AR_CdUFM
111	2		\|a International Workshop on Logic in Databases \|d (1996 : \|c San Miniato, Italy)
245	1	0	\|a Logic in databases / \|c ed. Dino Pedreschi, Carlo Zaniolo.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a x, 495 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1154
490	0		\|a LNCS ; \|v v. 1154
650		4	\|a Administración de base de datos.
650		4	\|a Database management.
650		4	\|a Búsqueda y recuperación de la información.
650		4	\|a Information search and retrieval.
650		4	\|a Lógica matemática-Computación.
650		4	\|a Mathematical logic-Computation.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Deduction and theorem proving.
700	1		\|9 13159 \|a Pedreschi, Dino, \|e ed.
700	1		\|9 18926 \|a Zaniolo, Carlo, \|e ed.
942			\|c LIBRO \|2
945			\|a AB
945			\|a MCR \|d 2012-02-22
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1154_000000000000000 \|7 0 \|9 10471 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1154 \|p 14977 \|r 2013-08-23 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8200 \|d 8200