Dati dell'istituto/utente:(i dati contrassegnati con l'asterisco sono obbligatori)
Ci interessa la seguente vostra opera:
Codice documento: PIS0009188
Natura:
[Monografia]
Autore:
Gallo , Giorgio <1942- >
Titolo : <<The >>satisfiability problem for the Schoenfinkel-Bernays fragment : partial instantiation and hipergraph algorithms / G. Gallo, G. Rago
Pubblicazione :
Pisa : Universita degli studi, Dipartimento di informatica, 1994
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.