Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings /

Bibliographic Details
Corporate Author:	International joint Conference on Algebraic and Logic Programming, ALP '97 Southtampton, UK
Other Authors:	Hanus, Michael (ed.), Heering, Jan (ed.), Meinke, Karl (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1298 LNCS ; v. 1298
Subjects:	Lenguajes de programación. Programming languages. Logics and meanings of programs. Lógica y significado de programas. Lógica matemática. Lenguajes formales. Mathematical logic. Formal languages. Deduction and theorem proving. Deducción y prueba de teoremas.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190808174440.0
008	110630s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|2 \|4 0 \|6 C_LNCS_V__1298_000000000000000 \|7 0 \|9 10254 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FAMAF/Comp. \|l 0 \|o C LNCS v. 1298 \|p 14730 \|r 2010-11-24 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8000 \|d 8000
020			\|a 3540634592
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International joint Conference on Algebraic and Logic Programming, ALP '97 \|n (6 : \|d 1997 : \|c Southtampton, UK) \|9 20151
245	1	0	\|a Algebraic and logic programming : \|b 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / \|c ed. Michael Hanus, Jan Heering, Karl Meinke.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a x, 286 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1298
490	0		\|a LNCS ; \|v v. 1298
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Logics and meanings of programs.
650		4	\|a Lógica y significado de programas.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Deduction and theorem proving.
650		4	\|a Deducción y prueba de teoremas.
700	1		\|9 7151 \|a Hanus, Michael, \|e ed.
700	1		\|9 7342 \|a Heering, Jan, \|e ed.
700	1		\|9 11351 \|a Meinke, Karl, \|e ed.
942			\|c LIBRO \|2 CCS
945			\|a MCR \|d 2012-02-28