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