Robert Veroff

Publication Activity (10 Years)

Years Active: 1981-2022
Publications (10 Years): 2

Top Topics

Automated Deduction

Problems Involving

Geometric Reasoning

Theorem Proving

Top Venues

Automated Reasoning and Mathematics

J. Autom. Reason.

Publications