Symbolic Logic and Mechanical Theorem Proving /

Spremljeno u:
Bibliografski detalji
Glavni autor: Chang, Ching-Liang (autor)
Daljnji autori: Lee, Richard Char-Tung (autor) (autor)
Format: Knjiga
Jezik:engleski
Teme:
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!
Detalji primjeraka od IT1
Signatura:
511. 3 CHA
Ejemplar 0300280100
Disponible
Préstamo 7 días a 90
Zbirka:
Colección General
Bilješke:
Ubicar en Nivel 1 Área de Colección General