1.
Record Nr.
UNISA990000208620203316
Autore
International workshop CSl '98 : 12 : 1998
Titolo
Computer science logic : International workshop, CSL '98 : annual conference of the EACSL : Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob ... [et al.] (eds.)
Pubbl/distr/stampa
Berlin [etc.] : Springer-Verlag, copyr. 1999
ISBN
3-540-65922-6
Descrizione fisica
X, 429 p. : ill. ; 24 cm
Collana
Lecture notes in computer science ; 1584
Disciplina
005131
Collocazione
001 LNCS (1584)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia