Computer science logic : 8th Workshop, CSL '94 : Kazimierz,Poland, September 25-30, 1994 : selected papers / Leszek Pacholski ... [etc.] (eds.)

• Record Nr.: UNISA990000210990203316
• Autore: Workshop CSL'94 : 8. : 1994
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1995
• ISBN: 3-540-60017-5
• Descrizione fisica: IX, 541 p. : ill. ; 25 cm
• Collana: Lecture notes in computer science ; 933
• Disciplina: 004
• Collocazione: 001 LNCS (933)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia