Computer science logic /

Bibliographic Details
Corporate Author:	Workshop on computer science logic Swansea, UK
Other Authors:	Börger, Egon, 1946- (ed.), Gurevich, Yuri (ed.), Meinke, Karl (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1994.
Series:	Lecture notes in computer science ; v. 832
Subjects:	Lógica matemática. Lenguajes formales. Lógica y significado de programas. Computación mediante dispositivos abstractos. Deducción y prueba de teoremas. Representación del conocimiento, métodos, formas y scripts.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190408185031.0
008	110701s1994 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540582770
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a Workshop on computer science logic \|n (7º : \|d 1993 : \|c Swansea, UK)
245	1	0	\|a Computer science logic / \|c edited by Egon Börger, Yuri Gurevich, Karl Meinke.
260			\|a Berlin : \|b Springer, \|c 1994.
300			\|a viii, 336 p. : \|b il. ; \|c 24 cm.
490		0	\|a Lecture notes in computer science ; \|v v. 832
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Lógica y significado de programas.
650		4	\|a Computación mediante dispositivos abstractos.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Representación del conocimiento, métodos, formas y scripts.
700	1		\|a Börger, Egon, \|d 1946- \|e ed. \|9 1886
700	1		\|9 6942 \|a Gurevich, Yuri, \|e ed.
700	1		\|9 11351 \|a Meinke, Karl, \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-07-01
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__832_000000000000000 \|7 0 \|9 11017 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FAMAF/Comp. \|l 0 \|o C LNCS v. 832 \|p 15585 \|r 2013-08-21 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8627 \|d 8627