Abstract
The Logic Machine Architecture (LMA) is a layered family of software tools designed to enable the efficient and flexible use and development of significant theorem proving systems. As such it is an abstraction of the implementation details of many existing theorem proving programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Reference
Lusk, E.L., McCune, W. W., Overbeek, R. A. Logic Machine Architecture: Inference Mechanisms. In Loveland (editor), 6th Conference on Automated Deduction. Springer-Verlag, 1982. Lecture notes in computer science No. 138.
Lusk, E.L., McCune, W. W., Overbeek, R. A. Logic Machine Architecture: Kernel Functions. In Loveland (editor), 6th Conference on Automated Deduction. Springer-Verlag, 1982. Lecture notes in computer science No. 138.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A., Wallen, L. (1984). Logic Machine Architecture. In: Bundy, A., Wallen, L. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96868-6_128
Download citation
DOI: https://doi.org/10.1007/978-3-642-96868-6_128
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13938-6
Online ISBN: 978-3-642-96868-6
eBook Packages: Springer Book Archive