Software
Il LISP (manuale on-line)
OTTER (Organized Techniques for Theorem proving and Effective Research)
Fuzzy Logic Toolbox (Matlab 5.2)
Ragionamento temporale (Timegraph-II)
LPG (Un pianificatore)
Laurea Magistrale in Ingegneria Informatica
Professore Alfonso E. Gerevini
Il LISP (manuale on-line)
OTTER (Organized Techniques for Theorem proving and Effective Research)
Fuzzy Logic Toolbox (Matlab 5.2)
Ragionamento temporale (Timegraph-II)
LPG (Un pianificatore)