Login / Signup
The Prover of the Program Verification System Tatzelwurm.
Thomas Käufl
Published in:
TABLEAUX (1992)
Keyphrases
</>
theorem proving
theorem prover
automated theorem proving
search algorithm
first order logic
proof search
neural network
scheduling problem
general purpose