Automated deduction - CADE 17 : 17th international conference on automated deduction : Pittsburg, PA, USA, June 17-20, 2000 proceedings / David McAllester (ed.)
ISBN
3-540-67664-3
Edizione
[Berlino]
Descrizione fisica
XII, 512 p. : ill. ; 25 cm
Collana
Lecture notes in arteficial intelligence / 1831
Disciplina
006.3
Collocazione
006.3 LNIA (1831)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia
Note generali
Serie principale Lecture notes in computer science