1.
Record Nr.
UNISA990000209200203316
Autore
International workshop. CSL '99 : 13th. : 1999
Titolo
Computer science logic : 13th International workshop, CSL '99 : 8th. Annual conference of the EACSL : Madrid, Spain, September 20-25, 1999 : proceedings / Jorg Flum ...[et al.] (eds.)
Pubbl/distr/stampa
Berlino : Springer-Verlag, copyr. 1999
ISBN
3-540-66536-6
Descrizione fisica
XI, 576 p. : ill. ; 22 cm
Collana
Lecture notes in computer science ; 1683
Disciplina
0051
Collocazione
001 LNCS (1683)
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia