Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. M. Brown and G. Sutcliffe. PTTP+GLiDeS: Semantically guided PTTP. In D. McAllester, editor, Proceedings of the 17th International Conference on Automated Deduction (CADE-17), LNAI 1831, 411–416. Springer-Verlag, 2000.
2. M. Brown and G. Sutcliffe. PTTP+GLiDeS: Using models to guide linear deductions. In Peter Baumgartner et al., editors, Proceedings of Workshop on Model Computation-Principles, Algorithms, and Applications, CADE-17, 42–45, 2000.
3. R. Caferra and N. Peltier. Disinference rules, model building and abduction. In E. Orłowska, editor, Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa, 331–353. Physica-Verlag, 1999.
4. H. Chu and D.A. Plaisted. Semantically guided first-order theorem proving using hyper-linking. In A. Bundy, editor, Proceedings of the 12th International Conference on Automated Deduction (CADE-12), LNAI 814, 192–206. Springer-Verlag, 1994.
5. N. Eisinger and H.J. Ohlbach. The Markgraf Karl Refutation Procedure (MKRP). In J. Siekmann, editor, Proceedings of the 8th International Conference on Automated Deduction (CADE-8), LNAI 230, 681–682. Springer-Verlag, 1986.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献