Login / Signup
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method. Part II. Mechanical Theorem Proving.
Shang-Ching Chou
Xiao-Shan Gao
Published in:
J. Autom. Reason. (1993)
Keyphrases
</>
automated reasoning
theorem proving
theorem prover
differential geometry
pairwise
feature set
first order logic
decision procedures
artificial intelligence
probabilistic model
knowledge representation
energy function