Boolean Functions for Finite-Tree Dependencies / Bagnara, Roberto; Zaffanella, Enea; Gori, R.; Hill, P. M.. - 2250, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin:(2001), pp. 579-594. (Intervento presentato al convegno 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning tenutosi a Havana, Cuba nel December 3-7, 2001).
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.