Symbolic Logic and Mechanical Theorem Proving /

Salvato in:
Dettagli Bibliografici
Autore principale: Chang, Ching-Liang (autor)
Altri autori: Lee, Richard Char-Tung (autor) (autor)
Natura: Libro
Lingua:inglese
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Dettagli sul posseduto da IT1
Collocazione:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
Collezione:
Colección General
Note:
Ubicar en Nivel 1 Área de Colección General