Algebraic methodology and software technology /

Bibliographic Details
Corporate Author:	International Conference on Algebraic Methodology and Software Technology Montreal, Canada
Other Authors:	Alagar, Vangalur S., 1940- (ed.), Nivat, Maurice, 1937- (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 936 LNCS ; v. 936
Subjects:	Lógica y significado de programas. Logics and meanings of programs. Administración de bases de datos. Database management. Sistemas con propósito y aplicación especial. Special-purpose and application-based systems. Lógica matemática. Lenguajes formales. Mathematical logic. Formal languages. Ingenieria de software. Software engineering. Programación en lógica. Logic programming. Deducción y prueba de teoremas. Deduction and theorem proving.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20170628122009.0
008	110629s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540600434
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Conference on Algebraic Methodology and Software Technology \|n (4º : \|d 1995 : \|c Montreal, Canada)
245	1	0	\|a Algebraic methodology and software technology / \|c edited by V. S. Alagar, Maurice Nivat.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a xiv, 591 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 936
490	0		\|a LNCS ; \|v v. 936
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Administración de bases de datos.
650		4	\|a Database management.
650		4	\|a Sistemas con propósito y aplicación especial.
650		4	\|a Special-purpose and application-based systems.
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 Ingenieria de software.
650		4	\|a Software engineering.
650		4	\|a Programación en lógica.
650		4	\|a Logic programming.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Deduction and theorem proving.
700	1		\|9 226 \|a Alagar, Vangalur S., \|d 1940- \|e ed.
700	1		\|a Nivat, Maurice, \|e ed. \|d 1937-
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-02-29
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__936_000000000000000 \|7 0 \|9 7111 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 936 \|p 13839 \|r 2013-08-21 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 5364 \|d 5364