Catalogo delle Biblioteca Universitaria di Pisa Ricerca: Titoli collegati = Pisa. >> Collezione = universita degli studi di pisa, dipartimento di informatica Scheda: 10/95 Livello bibliografico: Monografia Tipo di materiale: Testo a stampa Autore principale: Kakas, Antonis C. Titolo: Stable theories for logic programs / A. C. Kakas, P. Mancarella Editore,distributore, ecc.: Pisa : Universita degli studi, Dipartimento di Informatica, 1991 Descrizione fisica: 22 p. ; 20 cm. Collezione: TR / Università degli studi di Pisa, Dipartimento di informatica Lingua di pubblicazione: INGLESE Paese di pubblicazione: ITALIA Nomi: [Autore] Kakas, Antonis C. [Autore] Mancarella, Paolo Forme varianti dei nomi: Mancarella , Paolo Maria Identificativo record: PIS0008404 Localizzazioni/ collocazioni/ consistenza: Biblioteca universitaria - Univ. Pisa 11 - R1COLL.UNIV.Pisa 11 - R1 0002699945 VMD 18/91 STABLE - A - 20060801 - 20060801