COMPUTATIONAL LOGIC AND PROOF THEORY : THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : PROCEEDINGS/ G. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS.
Idioma: Español Series LECTURE NOTES IN COMPUTER SCIENCE ; 713Detalles de publicación: BERLIN: SPRINGER-VERLAG \\\\Descripción: 348 P. 24 CMISBN:- 3-540-57184-1
- 004 L43 V.713
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Libros
|
Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) Sala general | 004 L43 V.713 | ej.1 | Disponible | 20659 | |||||||||||||
|
Libros
|
Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) Sala general | 004 L43 V.713 | ej.2 | Disponible | 20660 | |||||||||||||
|
Libros
|
Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) Sala general | 004 L43 V.713 | ej.3 | Disponible | 20661 |
INCLUYEBIBLIOGRAFIAS E INDICE.
3
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.