Slides from AITP 2017 talk

Here are the slides from from my talk this week at the 2nd Conference on Artificial Intelligence and Theorem Proving, describing joint work with Torstein Vik.

Tags »

Datum: Saturday, 1. April 2017 16:37
Trackback: Trackback-URL Themengebiet: Uncategorized

Feed zum Beitrag: RSS 2.0 Kommentare und Pings geschlossen.

Keine weiteren Kommentare möglich.