Logic machine architecture: Kernel functions
- 5 October 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Experiments with resolution-based theorem-proving algorithmsComputers & Mathematics with Applications, 1982
- Variable elimination and chaining in a resolution-based prover for inequalitiesPublished by Springer Nature ,1980
- Data structures and control architecture for implementation of theorem-proving programsPublished by Springer Nature ,1980
- An Evaluation of an Implementation of Qualified HyperresolutionIEEE Transactions on Computers, 1976
- An implementation of hyper-resolutionComputers & Mathematics with Applications, 1975