Stephan Schulz: Teaching Automated Theorem Proving by Example: PyRes 1.2… (IJCAR A)
Channel: IJCAR-FSCD 2020
Date: 2020-07-17

Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description)
Authors: Stephan Schulz and Adam Pease

Aired: 2020-02-04 17:30:00 CEST (UTC+2)