Inductive Equivalence of Logic Programs
1 Microprocessor-based Systems Course 5 Special-purpose microprocessors.
1 Inductive Equivalence of Logic Programs Chiaki Sakama Wakayama University Katsumi Inoue National Institute of Informatics ILP 2005. 8. 12.