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.)

• Record Nr.: UNISA990000209200203316
• Autore: International workshop. CSL '99 : 13th. : 1999
• 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