Perspectives of system informatics /

Bibliographic Details
Corporate Author:	International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia
Other Authors:	Bjorner, Dines, 1937- (ed.,), Broy, Manfred, 1949- (ed.,), Pottosin, Igor V. (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1996.
Series:	Lecture notes in computer science ; v. 1181 LNCS ; v. 1181
Subjects:	Lógica y significado de programas. Logics and meanings of programs. Ershov Andrei. Mathematical logic. Formal languages. Lógica matemática. Lenguajes formales. Ingeniería de software. Software engineering. Manipulación algebraica. Algebraic manipulation. Inteligencia artificial Artificial intelligence.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20190806163844.0
008	110630s1996 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540620648
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a International Andrei Ershov Memorial Conference \|n (2 : \|d 1996 : \|c Akademgorodok, Novosibirsk, Russia)
245	1	0	\|a Perspectives of system informatics / \|c edited by Dines Bjorner, Manfred Broy, Igor V. Pottosin.
260			\|a Berlin : \|b Springer, \|c 1996.
300			\|a xvii, 444 p. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1181
490	0		\|a LNCS ; \|v v. 1181
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
650		4	\|a Ershov Andrei.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Lógica matemática.
650		4	\|a Lenguajes formales.
650		4	\|a Ingeniería de software.
650		4	\|a Software engineering.
650		4	\|a Manipulación algebraica.
650		4	\|a Algebraic manipulation.
650		4	\|a Inteligencia artificial
650		4	\|a Artificial intelligence.
700	1		\|a Bjorner, Dines, \|d 1937- \|e ed., \|9 1640
700	1		\|a Broy, Manfred, \|d 1949- \|e ed., \|9 2276
700	1		\|9 13722 \|a Pottosin, Igor V., \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-02-23
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1181_000000000000000 \|7 0 \|9 10415 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1181 \|p 14926 \|r 2013-08-23 \|w 2008-06-09 \|y LIBRO
999			\|c 8152 \|d 8152