Merging Procedural and Declarative Proof.

Cezary Kaliszyk Freek Wiedijk

Published in: TYPES (2008)

Keyphrases

declarative knowledge
procedural knowledge
domain independent
theorem prover
conceptual knowledge
theorem proving
linear logic
declarative language
database
neural network
e learning
knowledge base
knowledge representation
mathematical proofs
geometry theorem proving