Login / Signup
A Parameterized Proof Manager.
Konrad Slind
Published in:
TPHOLs (1994)
Keyphrases
</>
theorem prover
theorem proving
management system
real time
objective function
mathematical proofs
data sets
computer vision
image processing
multi agent systems
information technology
mobile robot
inference rules
linear logic
automated theorem proving
natural deduction