Record Nr.

UNISA990003158830203316

Autore

International workshop, CSL 2008 : <22.; : 2008

Titolo

Computer science logic : 22nd International workshop, CSL 2008 : 17th Annual conference of the EACSL : Bertinoro, Italy, September 16-19, 2008 : proceedings / Michael Kaminski, Simone Martini (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2008

ISBN

978-3-540-87530-7

Descrizione fisica

XI, 512 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 5213

Disciplina

005.131

Soggetti

Informatica - Congressi - Bertinoro - 2008

Collocazione

001 LNCS 5213

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia