Methods for automated deduction in propositional logic, first-order logic, and modal logics. Includes basics of constraint programming.

Fondamenti di programmazione dei calcolatori.

Ragionamento automatico, laurea specialistica in intelligenza artificiale
Seminari di intelligenza artificiale, laurea specialistica in intelligenza artificiale
Tecniche di programmazione, ingegneria gestionale
Fondamenti di informatica, ingegneria gestionale
Tecniche di programmazione, ingegneria (Latina)
Introduzione a Java (tenuto come parte del corso di informatica grafica per ingegneria civile, 2000/2001).
Linguaggi e traduttori (corso tenuto per il diploma in ingegneria informatica della università di Siena, 1997/1998).

Libro: Complementi ed esercizi di programmazione in Pascal
Libro: Programmazione con strutture dati in C