Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) / E. Bertino; B. Catania; G. Guerrini; M. Martelli; D. Montesi. - STAMPA. - (1993), pp. 501-518. ((Intervento presentato al convegno Eighth Italian Conference on Logic Programming tenutosi a Gizzeria, Italy.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Formalizzazione e Ottimizzazione di Transazioni di Modica in CLP(AD) | |
Autori: | ||
Data di pubblicazione: | 1993 | |
Handle: | http://hdl.handle.net/11567/391316 | |
Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.