Horn clause computability
- 1 June 1977
- journal article
- Published by Springer Nature in BIT Numerical Mathematics
- Vol. 17 (2), 215-226
- https://doi.org/10.1007/bf01932293
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965