Record Nr.

UNISA990003066280203316

Autore

International Joint conference : <3.; : 2006

Titolo

Automated reasoning : Third international joint conference, IJCAR 2006 : Seattle, WA,USA,August 17-20, 2006 : proceedings / Ulrich Furbach, Natarajan Shankar (eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2006

ISBN

3-540-37187-7

Descrizione fisica

XV, 677 p. ; 24cm

Collana

Lecture notes in artifiacial intelligence ; 4130

Lecture notes in computer science

Disciplina

006.3

Collocazione

006.3 LNAI 4130

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia