Automated deduction by connection method in an object-oriented environment
Part of the Texts and Monographs in Symbolic Computation book series (TEXTSMONOGR)
In this paper issues of a logic deduction tool to be integrated in an object-oriented programming (OOP) environment for the manipulation of mathematical objects are presented.
Unable to display preview. Download preview PDF.
- Eshghi, K., Kowalski, R. (1989): Abduction compared with negation by failure. In: Levi, G., Martelli, A. (eds.): Proceedings Sixth International Conference on Logic Programming, ICLP. MIT Press, Cambridge, MA, pp. 234–254.Google Scholar
© Springer-Verlag Wien 1997