Login / Signup
Colin Rothgang
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 5
Top Topics
Predicate Calculus
Proof Planning
Theorem Proving
Automated Deduction
Top Venues
CICM
CoRR
PxTP
CADE
</>
Publications
</>