Login / Signup
On the calculus of positively constructed formulas for automated theorem proving.
A. V. Davydov
A. A. Larionov
Evgeny A. Cherkashin
Published in:
Autom. Control. Comput. Sci. (2011)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
logic programming
predicate calculus
first order logic
knowledge base
expert systems
real numbers
negatively correlated