![Theoretical computer science / Proof theory / Automated theorem proving / Critical thinking / Mathematical proof / Proof / Mathematics / Logic / Mathematical logic Theoretical computer science / Proof theory / Automated theorem proving / Critical thinking / Mathematical proof / Proof / Mathematics / Logic / Mathematical logic](https://www.pdfsearch.io/img/76b69d1ea98a04221f4534af60edd92e.jpg)
| Document Date: 2013-11-11 15:49:54 Open Document File Size: 3,69 MBShare Result on Facebook
Facility Reasoning Eric Knuth University of Wisconsin Session Overview / / Organization Eric Knuth University of Wisconsin Session Overview / Foundation for Proving / / ProvinceOrState Wisconsin / /
SocialTag |