Scheda: 1/1 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | Spoto, Nicola Fausto |
Titolo | *Analysis of logic programs through linear rifenement / Nicola Fausto Spoto |
Pubblicazione | Pisa : Università, Dipartimento di Informatica, 2000 |
Descrizione fisica | III, 148 p. ; 21 cm. |
Lingua di pubblicazione | eng |
Paese di pubblicazione | IT |
Nomi | [Autore] Spoto, Nicola Fausto
[Autore] Università degli Studi <Pisa> : Dipartimento di Informatica |
Identificativo record | BP00017545 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | Pubbl. Univ. Pisa 19ter/82 | 473948 |