Programming languages : implementations, logics and programs : Proceedings /

Bibliographic Details
Corporate Author:	PLILP '95 Utrecht, The Netherlands
Other Authors:	Hermenegildo, Manuel (ed.), Swierstra, S. Doaitse (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 982 LNCS ; v. 982
Subjects:	Functional programming. Programación funcional. Logic programming. Programación en lógica. Semantics. Semántica. Sintaxis.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122359.0
008	120307s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 354060359X
040			\|a AR_CdUFM
111	2		\|a PLILP '95 \|n (7º : \|d 1995 : \|c Utrecht, The Netherlands)
245	1	0	\|a Programming languages : \|b implementations, logics and programs : Proceedings / \|c ed. Manuel Hermenegildo, S. Doaitse Swierstra.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a xi, 466 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 982
490	0		\|a LNCS ; \|v v. 982
650		4	\|a Functional programming.
650		4	\|a Programación funcional.
650		4	\|a Logic programming.
650		4	\|a Programación en lógica.
650		4	\|a Semantics.
650		4	\|a Semántica.
650		4	\|a Sintaxis.
700	1		\|9 7457 \|a Hermenegildo, Manuel, \|e ed.
700	1		\|9 16828 \|a Swierstra, S. Doaitse, \|e ed.
942			\|c LIBRO \|2
945			\|a BA
945			\|a MCR \|d 2012-03-07
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__982_000000000000000 \|7 0 \|9 5195 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 982 \|p 12289 \|r 2013-08-22 \|w 2008-06-09 \|y LIBRO
999			\|c 3877 \|d 3877