Login / Signup
Learning Theorem Proving Components.
Karel Chvalovský
Jan Jakubuv
Miroslav Olsák
Josef Urban
Published in:
TABLEAUX (2021)
Keyphrases
</>
theorem proving
learning algorithm
automated reasoning
first order logic
search algorithm
learning process
active learning