Login / Signup
Automated Generation of Readable Proofs with Geometric Invariants I. Multiple and Shortest Proof Generation.
Shang-Ching Chou
Xiao-Shan Gao
Published in:
J. Autom. Reason. (1996)
Keyphrases
</>
automated theorem provers
theorem prover
face recognition