Implementazione OCaml di alcuni algoritmi di Intelligenza Artificiale L'algoritmo A* Apprendimento di alberi di decisione Programmi descritti nel Capitolo 4 del libro Logica. Linguaggio, Ragionamento, Calcolo