Fast theorem-proving and Wu's Method.

Lian Li Jimin Wang

Published in: J. Comput. Sci. Technol. (1999)

Keyphrases

theorem proving
automated reasoning
knowledge base
classification accuracy
automated deduction
consequence finding