Publisher
American Mathematical Society
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Banishing Ultrafilters from Our Consciousness;Outstanding Contributions to Logic;2016
2. My Life as a Logician;Outstanding Contributions to Logic;2016
3. History and Prospects for First-Order Automated Deduction;Automated Deduction - CADE-25;2015
4. Automated theorem proving;Wiley Interdisciplinary Reviews: Cognitive Science;2014-01-17
5. The Strategy Challenge in SMT Solving;Automated Reasoning and Mathematics;2013