Menti e macchine: Alan Mathison Turing a cento anni dalla nascita
Figura geniale e tragica del Novecento, Alan M. Turing (1912-1954) è considerato uno dei padri dell’informatica moderna. I contributi raccolti in questo volume,...
Figura geniale e tragica del Novecento, Alan M. Turing (1912-1954) è considerato uno dei padri dell’informatica moderna. I contributi raccolti in questo volume,...
Una giornata per la matematica è il contributo che il Centro di Ricerca Matematica “E. De Giorgi” dà alla celebrazione internazionale del giorno del pi greco. S...
Video podcast of the talk I gave at progic 2013: The Sixth Workshop on Combining Probability and Logic: Combining probability and logic to solve philosophical p...