Alternative Proof of a Theorem of Kleene.

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

Keyphrases

interactive theorem proving
propositional logic
theorem prover
case study
regular expressions
theorem proving
real time
data mining
machine learning
video sequences
von neumann
proof planning