ML Anthology

Vytopil, Jan

1 publications

AAAI 1984 Generalization Heuristics for Theorems Related to Recursively Defined Functions S. Kamal Abdali, Jan Vytopil