Le parole della scienza: VERIFICA Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine La Nuova Civiltà delle Macchine.