Computer science logic : 10th International workshop, CSL'96 : annual conference of the EACSL : Utrecht, The Netherlands, September 21-27, 1996 : selected papers / Dirk van Dalen ... [et al.] (eds.)

• Record Nr.: UNISA990000206000203316
• Autore: International workshop CSL'96 : 10. : 1996
• Pubbl/distr/stampa: Berlin : Springer-Verlag, copyr. 1997
• ISBN: 3-540-63172-0
• Descrizione fisica: VIII,471 p. : ill. ; 23 cm
• Collana: Lecture notes in computer science ; 1258
• Disciplina: 004
• Collocazione: 001 LNCS (1258)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia