Login / Signup
On Extensibility of Proof Checkers.
Robert Pollack
Published in:
TYPES (1994)
Keyphrases
</>
theorem prover
user defined
theorem proving
linear logic
data mining
relational databases
automated theorem proving
image processing
high level
data structure
game playing