Record Nr.

UNINA990009254440403321

Titolo

Automated Reasoning [Risorsa elettronica] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings / edited by Jaime G. Carbonell, J\"org Siekmann, Alessandro Armando, Peter Baumgartner, Gilles Dowek

Pubbl/distr/stampa


Berlin ; Heidelberg : Springer, 2008

ISBN

9783540710707

Collana

Lecture Notes in Computer Science , 0302-9743 ; 5195

Lingua di pubblicazione

Inglese

Formato

Risorsa elettronica

Livello bibliografico

Monografia