Speaker: Prof. Stephanie Dick from the History department
Abstract:
her work on the early history of automated theorem-proving.
Early history of automated theorem-proving
University of Pennsylvania DRL A8
Co-organized by Colton Griffin and Yam Felsenstein
Subscribe by Email
Completely spam free, opt out any time.
This form is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
