Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.

Anita Wasilewska

Published in: Math. Log. Q. (1985)

Keyphrases

theorem proving
first order logic
learning algorithm
theorem prover
parallel search
supervised learning
knowledge base
multi agent systems
expert systems
orders of magnitude
automated reasoning
decision procedures
predicate calculus
proof procedure
proof planning
geometry theorem proving