A New Proof for Craig's Theorem.

Published in: J. Symb. Log. (1985)

Keyphrases

interactive theorem proving
theorem prover
linear logic
machine learning
information retrieval
metadata
multimedia
evolutionary algorithm
intuitionistic logic
mathematical proofs