Login / Signup
Maximilian Doré
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 6
Top Topics
Boundary Extraction
Undergraduate Students
Theorem Prover
Reasoning Process
Top Venues
CoRR
CSEDU (Selected Papers)
FSCD
CSEDU (2)
</>
Publications
</>