Danny Aley

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Natural Deduction

Mathematical Knowledge

Geometry Theorem Proving

Top Venues

Ann. Math. Artif. Intell.

Publications