Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch

Por: Gottlob, GeorgColaborador(es): Mundici, Daniele, CoautTipo de material: Texto

TextoDetalles de publicación: Germany: Springer-Verlag Descripción: xi, 348 p. / 24 cmISBN: 3-540-57184-1Tema(s): 1.Computacion electronica de datosClasificación CDD: 001.6 G652c Clasificación LoC:QA76 G573

Existencias ( 3 )
Notas de título ( 1 )
Comentarios ( 0 )

Existencias
Tipo de ítem	Biblioteca actual	Signatura	Copia número	Estado	Código de barras
Libros	LUIS G. INCLAN	001.6 G652c (Navegar estantería(Abre debajo))	1	Disponible	23879
Libros	LUIS G. INCLAN	001.6 G652c (Navegar estantería(Abre debajo))	2	Disponible	23880
Libros	LUIS G. INCLAN	001.6 G652c (Navegar estantería(Abre debajo))	3	Disponible	23881

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

Previo								Siguiente
Previo	001.6 G586i Introducción a la computación / Andr‚s Gómez de Silva Garza, Ignacio de Jesús Ania Briseño	001.6 G586i Introducción a la computación / Andr‚s Gómez de Silva Garza, Ignacio de Jesús Ania Briseño	001.6 G586i Introducción a la computación / Andr‚s Gómez de Silva Garza, Ignacio de Jesús Ania Briseño	001.6 G652c Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch	001.6 G652c Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch	001.6 G652c Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch	001.6 G674e Enterprise Database in a Client/Server Enviroment / Michael Gorman	Siguiente

Incluye preface y table of contents

No hay comentarios en este titulo.

para colocar un comentario.