Computational Logic and Proof Theory / Georg Gottlob, Alexander Leitsch
Tipo de material:
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
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | 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)
Incluye preface y table of contents
No hay comentarios en este titulo.