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
Navegando 03. BIBLIOTECA INGENIERÍA PUERTO REAL Estantes Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
|
||
| Depósito-510.5/WIE/sea Searching algorithms / Jirí Wiedermann | Depósito-510.6/ARA/log Lógica matemática / Joaquín Aranda Almansa, José Luis Fernández Marrón, Fernando Morilla García | Depósito-510.6/BAR/log Lógica programable : Ejercicios resueltos con OrCAD/PLD / Mariano Barrón Ruiz, rev. técnica Javier Martínez Pérez | Depósito-510.6/CHA/sym Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee | Depósito-510.6/EBB/mat Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas | Depósito-510.6/HOL/con Controladores en lógica borrosa / Domingo Javier Holgado Corrales | Deposito-510.6/JUL/log Lógica simbólica para informáticos / Pascual Julián Iranzo |
Bibliografía: 309-324 - Incluye indices
No hay comentarios en este titulo.