Symbolic Logic and Mechanical Theorem Proving /

Gardado en:
Detalles Bibliográficos
Autor Principal: Chang, Ching-Liang (autor)
Outros autores: Lee, Richard Char-Tung (autor) (autor)
Formato: Libro
Idioma:inglés
Temas:
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Detalle de Existencias desde IT1
Número de Clasificación:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
Colección:
Colección General
Notas:
Ubicar en Nivel 1 Área de Colección General