Logic and computational complexity : selected papers /

Bibliographic Details
Corporate Author:	International Workshop LCC '94 Indianapolis, IN, USA
Other Authors:	Leivant, Daniel (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1995.
Series:	Lecture notes in computer science ; v. 960 LNCS ; v. 960
Subjects:	Teoría de la computación. Computation theory. Computational complexity. Complejidad computacional. Lógica matemática y fundamentos. Mathematical logic and foundations.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908122358.0
008	120229s1995 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
020			\|a 3540601783
040			\|a AR_CdUFM
111	2		\|a International Workshop LCC '94 \|d (1994 : \|c Indianapolis, IN, USA)
245	1	0	\|a Logic and computational complexity : \|b selected papers / \|c ed. Daniel Leivant.
260			\|a Berlin : \|b Springer, \|c 1995.
300			\|a viii, 514 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 960
490	0		\|a LNCS ; \|v v. 960
650		4	\|a Teoría de la computación.
650		4	\|a Computation theory.
650		4	\|a Computational complexity.
650		4	\|a Complejidad computacional.
650		4	\|a Lógica matemática y fundamentos.
650		4	\|a Mathematical logic and foundations.
700	1		\|9 9879 \|a Leivant, Daniel, \|e ed.
942			\|c LIBRO \|2
945			\|a BA
945			\|a MCR \|d 2012-02-29
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__960_000000000000000 \|7 0 \|9 5189 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e Asoc. Coop. FAMAF \|l 0 \|o C LNCS v. 960 \|p 12330 \|r 2013-08-21 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 3871 \|d 3871