Foundations of software technology and theoretical computer science /

Bibliographic Details
Corporate Author:	Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore, India
Other Authors:	Thiagarajan, Pazhamaneri S. (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 1026 LNCS ; v. 1026
Subjects:	Computación mediante dispositivos abstractos. Computation by abstract devices. Deducción y prueba de teoremas. Deduction and theorem proving. Geometría computacional y modelado de objetos. Computational geometry and object modeling. Análisis de algoritmos y problemas de complejidad. Analysis of algorithms and problem complexity. Lógica y significado de programas. Logics and meanings of programs. Lógica matemática. Lenguajes formales. Mathematical logic. Formal languages. Teoría de grafos. Graph theory.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908123342.0
008	110701s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540606920
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a Conference on Foundations of Software Technology and Theoretical Computer Science \|n (15 : \|d 1995 : \|c Bangalore, India)
245	1	0	\|a Foundations of software technology and theoretical computer science / \|c edited by Pazhamaneri S. Thiagarajan.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a 513 p. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1026
490	0		\|a LNCS ; \|v v. 1026
650		4	\|a Computación mediante dispositivos abstractos.
650		4	\|a Computation by abstract devices.
650		4	\|a Deducción y prueba de teoremas.
650		4	\|a Deduction and theorem proving.
650		4	\|a Geometría computacional y modelado de objetos.
650		4	\|a Computational geometry and object modeling.
650		4	\|a Análisis de algoritmos y problemas de complejidad.
650		4	\|a Analysis of algorithms and problem complexity.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
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 Teoría de grafos.
650		4	\|a Graph theory.
700	1		\|9 17088 \|a Thiagarajan, Pazhamaneri S., \|e ed.
942			\|c LIBRO \|2
945			\|a MCR \|d 2012-02-15
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1026_000000000000000 \|7 0 \|9 11001 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1026 \|p 15580 \|r 2013-08-22 \|w 2008-06-09 \|y LIBRO
999			\|c 8613 \|d 8613