Theorem-proving anonymity of infinite-state systems.

Yoshinobu Kawabe Ken Mano Hideki Sakurada Yasuyuki Tsukada

Published in: Inf. Process. Lett. (2007)

Keyphrases

theorem proving
first order logic
decision procedures
geometry theorem proving
expert systems
combinatorial search
proof procedure
parallel search
machine learning
theorem prover
automatic programming
distributed search
automated theorem proving
inference rules
automated deduction
consequence finding