Talks

Computer Science and Proof: a Brief History of Automated Reasoning

Title
Computer Science and Proof: a Brief History of Automated Reasoning
Speaker(s)
Charles Pecheur
Context
seminar series Fondements et Notions Fondamentales, UCL, 12 Mar 2012
File(s)
pecheur-uclmath2012-slides

Speakers
Charles Pecheur
Tags
,