Search alternatives:
"prover" » "proved", "proves", "grover"
Cover Image
Read Now

1
by Gao, Xiao-Shan
Published 2000
Academic Press
Table of Contents: “.... S. Chou, X. Gao, Z. Liu, D-K Wang, D. Wang, Geometric Theorem Provers and Algebraic Equation Solvers...”
Cover Image
Read Now

2
by Mill, J. van
Published 2002
North Holland