DMCA

PLAGIATOR -- A Learning Prover (1997)

by Thomas Kolbe , Jürgen Brauburger
Venue:in 14th Conference on Automated Deduction
Citations:3 - 1 self