Real Number Calculations and Theorem Proving.

David R. Lester

Published in: TPHOLs (2008)

Keyphrases

theorem proving
small number
first order logic
expert systems
theorem prover
automated reasoning
logic programs
tabu search
decision procedures
automated deduction
parallel search