Subsumption and refinement in model inference
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Machine Invention of First-order Predicates by Inverting ResolutionPublished by Elsevier ,1988
- Learning from Good and Bad DataPublished by Springer Nature ,1988