Parallel Logic Programming for Numeric Applications

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek. Parallel Logic Programming for Numeric Applications. In Ehud Y. Shapiro, editor, Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings. Volume 225 of Lecture Notes in Computer Science, pages 375-388, Springer, 1986.

Abstract

Abstract is missing.