Login / Signup
Dave Barker-Plummer
ORCID
Publication Activity (10 Years)
Years Active: 1992-2022
Publications (10 Years): 5
Top Topics
Geometry Theorem Proving
Semantically Equivalent
Semantic Knowledge
Single Feature
Top Venues
Diagrams
</>
Publications
</>