Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis

Por: Davis, Martin DColaborador(es): Sigal, Ron \ Weyuker, Elaine JTipo de material: Texto

TextoDetalles de publicación: San Diego-U.S.A. : Academic Press Edición: 2Descripción: xix, 609 p. / 23 cmISBN: 0-12-206382-1Tema(s): 1. TEORÍA DE MÁQUINAS \ 2. FORMA DE LENGUAJESClasificación CDD: 511.3 D261c Clasificación LoC:QA267 D38 1994

Existencias ( 3 )
Comentarios ( 0 )

Existencias
Tipo de ítem	Biblioteca actual	Signatura	Copia número	Estado	Código de barras
Libros	LUIS G. INCLAN	511.3 D261c (Navegar estantería(Abre debajo))	1	Disponible	37072
Libros	LUIS G. INCLAN	511.3 D261c (Navegar estantería(Abre debajo))	2	Disponible	37073
Libros	LUIS G. INCLAN	511.3 D261c (Navegar estantería(Abre debajo))	3	Disponible	37948

Navegando LUIS G. INCLAN Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)

Previo								Siguiente
Previo	511.3 A779i Iniciación a la Lógica Simbólica / José Antonio Arnaz	511.3 C678i Introduction To Computer Theory / Daniel I. A. Cohen	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D261c Computability, Complexity and Languages : Fundamentals of Theorical Computer Science / Martin D. Davis	511.3 D472p Principles of Automated Therem Proving / David A. Duffy	511.3 D472p Principles of Automated Therem Proving / David A. Duffy	Siguiente

No hay comentarios en este titulo.

para colocar un comentario.