Questo volume fornisce un'introduzione all'elaborazione simbolica, ovvero ai concetti e alle tecniche di programmazione che costituiscono la base classica per la realizzazione dei sistemi d'intelligenza artificiale. Il materiale riportato deriva da una pluriennale esperienza d'insegnamento dell'autore presso la Facoltà di Ingegneria del Politecnico di Milano.