An effective theorem proving algorithm.

Péter Ecsedi-Tóth A. Varga

Published in: Acta Cybern. (1977)

Keyphrases

theorem proving
learning algorithm
parallel search
artificial intelligence
search space
search strategy
modal logic
decision procedures
combinatorial search