Publisher
Springer Berlin Heidelberg
Reference6 articles.
1. Bledsoe, W.W. Splitting and reduction heuristics in automatic theorem proving, Journal of Artificial Intelligence 2 (1971), 55–77
2. Bledsoe, W.W., Non-resolution theorem proving, Journal of Artificial Intelligence 9 (1977), 1–35
3. Pastre D., Automatic theorem Proving in Set theory, Journal of Artificial Intelligence 10 (1978), 1–27
4. Pastre D., Muscadet: An Automatic theorem Proving System using Knowledge and Metaknowledge in Mathematics-Journal of Artificial Intelligence 38.3 (1989)
5. Pastre D., Automated theorem Proving in Mathematics, Annals on Artificial Intelligence and Mathematics 8.3-4 (1993), 425–447
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献