Conditional and typed rewriting systems : Proceedings /

Bibliographic Details
Corporate Author:	International Workshop CTRS Jerusalem, Israel
Other Authors:	Dershowitz, Nachum (ed.), Lindenstrauss, Naomi (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 968
Subjects:	Lenguajes de programación. Programming languages. Mathematical logic. Formal languajes. Lógica matemática. Lenguajes formales. Teoremas-deducción y demostración. Theorem-Deduction and proving.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122356.0
008	110629s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540603816
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Workshop CTRS \|n (4º : \|d 1994 : \|c Jerusalem, Israel)
245	1	0	\|a Conditional and typed rewriting systems : \|b Proceedings / \|c ed. Nachum Dershowitz, Naomi Lindenstrauss.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a viii, 373 p. ; \|c 24 cm.
490		0	\|a Lecture notes in computer science ; \|v v. 968
650		4	\|a Lenguajes de programación.
650		4	\|a Programming languages.
650		4	\|a Mathematical logic.
650		4	\|a Formal languajes.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Teoremas-deducción y demostración.
650		4	\|a Theorem-Deduction and proving.
700	1		\|9 4068 \|a Dershowitz, Nachum, \|e ed.
700	1		\|9 10143 \|a Lindenstrauss, Naomi, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-06-29
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__968_000000000000000 \|7 0 \|9 5170 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 968 \|p 12285 \|r 2013-08-21 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3852 \|d 3852