Dati dell'istituto/utente:(i dati contrassegnati con l'asterisco sono obbligatori)
Ci interessa la seguente vostra opera:
Codice documento: BP00017545
Natura:
[Monografia]
Autore:
Spoto , Nicola Fausto
Titolo : *Analysis of logic programs through linear rifenement / Nicola Fausto Spoto
Pubblicazione :
Pisa : Università, Dipartimento di Informatica, 2000
Note:
Se gentilmente decidi di compilare i campi obbligatori, acconsenti al trattamento dei tuoi dati personali per fini di gestione del servizio secondo quanto stabilito dalla Legge 196/03. Le informazioni personali richieste non saranno in alcun caso rese pubbliche o comunque diffuse a terzi, ma saranno utilizzate solo per la risposta e a fini statistici.
