Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. H. Abelson, M. Eisenberg, M. Halfant, J. Katzenelson, E. Sacks, G.J. Sussman, J. Wisdom, and K. Yip, Intelligence in scientific computing, CACM 32, 5 (1989) 546–562.
2. H. Aït-Kaci and A. Podelski, An overview of LIFE, Lecture Notes in Computer Science 504, Springer-Verlag, 1991, pp.42–58.
3. G. A. Boy, Intelligent Assistant Systems, Knowledge-Based Systems, volume 6, J. Boose and B. Gaines (eds), Academic Press, London, 1991.
4. R.S. Boyer and J.S. Moore, A Computational Logic, Academic Press, New York, 1979.
5. B. Buchberger, G.E. Collins, and R. Loos, Computer Algebra: Symbolic and Algebraic Computation, Springer-Verlag, Wien, 1982.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献