Vai al contenuto principale della pagina

Computer science logic : 6. workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : proceedings / E. Borger ... [et al.] (eds.)



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Workshop on computer science logic : <6. : ; 1992 Visualizza persona
Titolo: Computer science logic : 6. workshop, CSL '92 : San Miniato, Italy, September 28-October 2, 1992 : proceedings / E. Borger ... [et al.] (eds.) Visualizza cluster
Pubblicazione: Berlin [etc.], : Springer, 1993
Descrizione fisica: VIII, 439 p. ; 25 cm
Disciplina: 004
004.015113
Soggetto topico: Informatica - Congressi - 1992
Logica matematica - Congressi - 1992
Persona (resp. second.): Börger, Egon
Note generali: Nella prefaz.: Computer science logic workshop
Titolo autorizzato: Computer science logic  Visualizza cluster
ISBN: 0387569928
3540569928
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: AQ10003073
Lo trovi qui: Univ. del Sannio
Collocazione: COLL. ING. LNCS
Opac: Controlla la disponibilità qui
Serie: Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 702 Goos : , Gerhard