Prueba automática de teoremas
| Título | Prueba automática de teoremas ;J.M. Lorente Tallada ; |
| Lugar de publicación | Valencia |
| Editorial | Nau |
| Fecha de publicación | D.L. 1982 |
| Descripción física o extensión | 127 p. |
| Otras características físicas | gráf. |
| Dimensiones | 22 cm |
| Depósito Legal | V 1976-1982 |
| Tipo de material | [Texto impreso] |
| ISBN | 84-85630-47-5 |
| Nota | Bibliografía: p. 125-127. Índice |
Ejemplares disponibles 
| Signatura | DL/200014 |
| Localización | Ejemplar de conservación |
| Sede | Sede de Alcalá |
| Signatura | AHM/259612 |
| Localización | Salón General-Petición anticipada |
| Sede | Sede de Alcalá |
| Signatura | VC/14796/9 |
| Localización | Salón General |
| Sede | Sede de Recoletos |
Más información de ejemplares +
Tipo
Libro
Acceder a esta obra
Este recurso puede obtenerse en la propia Biblioteca Nacional de España, solicitando una copia, o por préstamo interbibliotecario (solo bibliotecas), utilizando las siguientes opciones: