Constructive negation and constraint logic programming with sets / Dovier, A.; Pontelli, E. .; Rossi, Gianfranco. - In: NEW GENERATION COMPUTING. - ISSN 0288-3635. - 19 (3):(2001), pp. 209-255.
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.