Some Properties of Invers Resolution in Normal Logic Programs
ILP '99 Proceedings of the 9th International Workshop on Inductive Logic Programming
Coverage-Directed Test Generation Automated by Machine Learning -- A Review
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hi-index | 0.00 |