top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Chang, Chin-Liang
ID:
48726
Opere
Altre forme del nome
Chang, Chin-Liang
Chang, Chin-Liang, 1937-
Chang, Chin-Liang
CHANG, Chin-Liang
Seleziona tutte
Deseleziona
Logica simbolica
...
Symbolic Logic and Mechanical Theorem Proving
...
Symbolic logic and mechanical theorem proving
...