1.
Record Nr.
UNISA990002962660203316
Autore
International Joint conference : <2. ; : 2004
Titolo
Automated reasoning : Second international joint conference, IJCAR 2001 : Cork, Ireland, July 2004 : proceedings / David Basin, Michael Rusinowitch(eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer, copyr. 2004
ISBN
3-540-22345-2
Descrizione fisica
XII, 491 p. : ill. ; 20 cm
Collana
Lecture notes in artifiacial intelligence ; 3097
Lecture notes in computer science
Disciplina
006.3
Collocazione
006.3 LNAI 3097
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia