Phil Scott

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 7

Top Topics

Theorem Proving

Mathematical Knowledge

Automatic Programming

Top Venues

AISC/MKM/Calculemus

Publications