Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee
Tipo de material:
TextoSeries Computer science and applied mathematicsDetalles de publicación: San Diego [etc.] : Academic Press, 1973 Descripción: 331 p : ilISBN: 0-12-170350-9Tema(s): Logic, Symbolic and mathematical | Lógica simbólica y matemática | Funciones calculables
| Tipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|
| Monografías | 02. BIBLIOTECA CAMPUS PUERTO REAL | 510.6/CHA/sym (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 370024458X | ||
| Monografías | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | Depósito-510.6/CHA/sym (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3720483283 |
Total de reservas: 0
Bibliografía: 309-324 - Incluye indices
No hay comentarios en este titulo.