Learning Formulae from Elementary Facts
暂无分享,去创建一个
[1] Carl H. Smith,et al. Learning with Confidence , 1996, STACS.
[2] E. Mark Gold,et al. Language Identification in the Limit , 1967, Inf. Control..
[3] Daniel N. Osherson,et al. A universal inductive inference machine , 1991, Journal of Symbolic Logic.
[4] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[5] Rolf Wiehagen. Limes-Erkennung rekursiver Funktionen durch spezielle Strategien , 1975, J. Inf. Process. Cybern..
[6] D. König. Sur les correspondances multivoques des ensembles , 2022 .