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

Louvain Verification Lab