Login / Signup

Hilbert's epsilon-Terms in Automated Theorem Proving.

Martin GieseWolfgang Ahrendt
Published in: TABLEAUX (1999)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • co occurrence
  • lower bound