Implication Algorithms for Classes of Horn Clauses
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- CONFERENCE ABSTRACTSBritish Journal of Educational Psychology, 1984