Symbolic Logic and Mechanical Theorem Proving /

Guardat en:
Dades bibliogràfiques
Autor principal: Chang, Ching-Liang (autor)
Altres autors: Lee, Richard Char-Tung (autor) (autor)
Format: Llibre
Idioma:anglès
Matèries:
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
Detall dels fons de IT1
Signatura:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
Col·lecció:
Colección General
Notes:
Ubicar en Nivel 1 Área de Colección General