Search for tag: "theorems"

BMC BAMC 2021 Kevin Buzzard

6-9 April 2021, BMC BAMC 2021 Titled: When Will Computers Prove Theorems? This was a BMC morning talk by Kevin Buzzard (Imperial College London) This session was supported by the Edinburgh…

From  Sophia Martin on April 21st, 2021 0 likes 0 plays 0  

14.a

This is the first part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 147 plays 0