Author:
Armando Alessandro,Melis Erica,Ranise Silvio
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. A. Armando and S. Ranise. From Integrated Reasoning Specialists to “Plug-and-Play” Reasoning Components. In Fourth International Conference on Artificial Intelligence and Symbolic Computation (AISC98). Plattsburgh, NY, USA. September 16–18, 1998.
2. A. Bouhoula and M. Rusinowitch. SPIKE: A system for automatic inductive proofs. Lecture Notes in Computer Science, 936, 1995.
3. R. S. Boyer and J S. Moore. Integrating Decision Procedures into Heuristic Theorem Provers: A Case Study of Linear Arithmetic. Machine Intelligence (Logic and the Acquisition of Knowledge), 11:83–124, 1988.
4. R.S. Boyer and J.S. Moore. A Computational Logic. Academic Press, 1979. ACM monograph series.
5. R.S. Boyer and J.S. Moore. Integrating Decision Procedures into Heuristic Theorem Provers: A Case Study of Linear Arithmetic. Machine Intelligence, 11:83–124, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constraint Logic Programming;Lecture Notes in Computer Science;2010