Intelligenza Artificiale - AA 2002/2003 Logica formale (Parte 3) - 1 Intelligenza Artificiale Breve introduzione alla logica classica (Parte 3) Marco Piastra.
