Vai al contenuto principale della pagina

Logic and computer science : lectures given at the 1. session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor P. Odifreddi



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Centro internazionale matematico estivo : <1988 Visualizza persona
Titolo: Logic and computer science : lectures given at the 1. session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor P. Odifreddi Visualizza cluster
Pubblicazione: Berlin [etc.] : Springer, c1990
Descrizione fisica: 162 p. ; 25 cm.
Disciplina: 005.131
Soggetto topico: Logica matematica - Applicazioni alla programmazione degli elaboratori elettronici - Congressi
Persona (resp. second.): Homer, S.
Odifreddi, Piergiorgio
Titolo autorizzato: Logic and computer science  Visualizza cluster
ISBN: 3-540-52734-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 000013970
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Serie: Lecture notes in mathematics
Numero di copie: 1
Biblioteca: Univ. della Basilicata
Sede Polo Tecnico-Scientifico
Collezione Collezione generale
Collocazione MAT
Codice a barre S69085
Stato della risorsa Riservato
Richiesto no
Opac: Controlla la disponibilità qui