Catalogo delle Biblioteca Universitaria di Pisa Ricerca: Collezione = studi >> Paese = italia >> Livello bibliografico = monografia >> Lingua = inglese >> Editore = universita degli studi, dipartimento di informatica Scheda: 6/85 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Barbuti, Roberto Titolo: A general framework for semantics-based bottom-up abstract interpretation of logic programs / R. Barbuti, R. Giacobazzi, G. Levi Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 48 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Barbuti, Roberto [Autore] Levi, Giorgio <1942- > Giacobazzi, Roberto Identificativo record: PIS0008397 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002694705 VMD 12/91 A GENERAl - A - 20060801 - 20060801