Automated Theorem Proving Methods.

Published in: BIT (1985)

Keyphrases

computational cost
machine learning methods
search methods
automated theorem proving
genetic algorithm
search engine
social networks
natural language
data model
benchmark datasets