Login / Signup

G. I. Moghaddam

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Knowledge Representation And Reasoning
Theorem Prover
Automated Reasoning
Prime Implicants

Top Venues

J. Autom. Reason.
Publications