Author:
Basin David A.,Walsh Toby
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference17 articles.
1. Basin, David and Walsh, Toby: Difference unification, in Proc. 13th IJCAI, International Joint Conference on Artificial Intelligence, 1993, pp. 116–122.
2. Basin, David and Walsh, Toby: Termination orderings for rippling, in Proc. 12th Int. Conf. Automated Deduction (CADE-12), Nancy, France, June 1994, Springer-Verlag.
3. Biundo, Susanne, Hummel, Birgit, Hutter, Dieter, and Walther, Christoph: The Karlsruhe induction theorem proving system, in 8th Int. Conf. Automated Deduction, Oxford, UK, 1986.
4. Boyer, Robert S. and Moore, J Strother: A Computational Logic. Academic Press, 1979.
5. Bundy, Alan, vanHarmelen, Frank, Hesketh, Jane, and Smaill, Alan: Experiments with proof plans for induction, J. Automated Reasoning 7 (1991), 303–324.
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献