1.
Record Nr.
UNISA996465556603316
Titolo
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / / William McCune, ed
Pubbl/distr/stampa
Springer Berlin / Heidelberg
Altri autori (Persone)
McCuneWilliam
Disciplina
006.3/33
Soggetti
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia