1.
Record Nr.
UNISA996466268203316
Titolo
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings / / Alan Bundy, ed
Pubbl/distr/stampa
Springer Berlin Heidelberg
Altri autori (Persone)
BundyAlan
Disciplina
006.3/3
Soggetti
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia