Deduction, Computation, Experiment: exploring the effectiveness of proof

Workshop organizzato da G. Corsi, R. Lupacchini e G. Sandri

Ulteriori informazioni su programma, partecipanti e abstract sul sito dell'evento http://www.triennalefilosofia.unibo.it/dce/home.htm