PRINCIPLES OF AUTOMATED THEOREM PROVING/ D.A. DUFFY.
Idioma: Español Detalles de publicación: CHICHESTER: JOHN WILEY 1991Descripción: XVIII, 243 P. 24 CMISBN:- 0-471-92784-8
- 511.3 D84
| 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 | 511.3 D84 | ej.1 | Disponible | 20806 |
INCLUYE INDICE. \ BIBLIOGRAFIA: P. 225-232.
1
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.