Dati dell'istituto/utente:(i dati contrassegnati con l'asterisco sono obbligatori)
Ci interessa la seguente vostra opera:
Codice documento: PIS0008404
Natura:
[Monografia]
Autore:
Kakas , Antonis C.
Titolo : Stable theories for logic programs / A. C. Kakas, P. Mancarella
Pubblicazione :
Pisa : Universita degli studi, Dipartimento di Informatica, 1991
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.