16 search results - page 4 / 4 » A Feature-Based Learning Method for Theorem Proving |
128
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...