1.
Record Nr.
UNISA996465756603316
Titolo
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / / D. Kapur, ed
Pubbl/distr/stampa
Springer Berlin Heidelberg
Altri autori (Persone)
KapurDeepak
Disciplina
511.3
Soggetti
Automatic theorem proving - Congresses
Logic, Symbolic and mathematical - Congresses
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia