International conference on automated eduction : 13. : 1996
Titolo
Automated deduction - Cade-13 : 13th International conference on automata deduction : New Brunswich, NJ, USA, July 30 - August 3, 1996 :proceedings / M. A. McRobbie ... [et al.] (eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, copyr. 1996
ISBN
3-540-61511-3
Descrizione fisica
XV, 764 p. : ill. ; 23 cm
Collana
Lecture notes in artificial intelligence ; 1104
Disciplina
005131
Collocazione
006.3 LNAI (1104)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
serie principale: lecture notes incomputer science