Vai al contenuto principale della pagina

Computer science logic : 11th International whorkshop, CLS'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen... [et al.] (eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: International workshop CSL'97 : 11. : 1997 Visualizza persona
Titolo: Computer science logic : 11th International whorkshop, CLS'97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen... [et al.] (eds.) Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer-Verlag, copyr. 1998
Descrizione fisica: VIII, 509 p. : ill. ; 24 cm
Disciplina: 004
Soggetto non controllato: congressi - aarhus - 1997
elaboratori elettronici - congressi - 1997
Persona (resp. second.): Nielsen, Mogens
Titolo autorizzato: Computer science logic  Visualizza cluster
ISBN: 3-540-64570-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000210170203316
Lo trovi qui: Univ. di Salerno
Collocazione: 001 LNCS (1414)
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science
Biblioteca: Univ. di Salerno
Opac: Controlla la disponibilità qui