Sign in
Hilbert's epsilon-Terms in Automated Theorem Proving.
Martin Giese
Wolfgang Ahrendt
Published in:
TABLEAUX (1999)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
co occurrence
lower bound