| Scheda: 7/186 | |
|---|---|
| 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 |
Rimuovi da preferiti
Aggiungi a preferiti