Login / Signup
Automatic Proof Checking and Proof Construction by Tactics.
Gilles Dowek
Published in:
CoRR (2023)
Keyphrases
</>
theorem prover
theorem proving
semi automatic
geometry theorem proving
real time
proof planning
neural network
data mining
machine learning
artificial intelligence
information systems
expert systems
evolutionary algorithm
mobile robot
consistency checking