Details:
| Title | Towards a unified model of search in theorem-proving: subgoal-reduction strategies | | Author(s) | Maria Paola Bonacina | | Type | Article in Journal | | Abstract | | | Keywords | Automated theorem-proving, Subgoal-reduction strategies, Tableau-based strategies, Strategy analysis, Search model | | ISSN | 0747-7171 |
| URL |
http://www.sciencedirect.com/science/article/pii/S0747717104001324 |
| Language | English | | Journal | Journal of Symbolic Computation | | Volume | 39 | | Number | 2 | | Pages | 209 - 255 | | Year | 2005 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
