1302 search results - page 23 / 261 » Free-Style Theorem Proving |
DT
2007
15 years 2 months ago
2007
JAR
2007
15 years 2 months ago
2007
AMAI
2000
Springer
15 years 2 months ago
2000
Springer
126
click to vote
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. In many automated methods for proving inductive theorems, finding a suitable generalization of a conjecture is a key for the success of proof attempts. On the other hand...