Synthesizing inductive expertise

From MaRDI portal





Programs that accept descriptions of inductive inference problems and return machines that solve them are investigated. The limitation of several design specifications for this kind of synthesizers are considered from a recursion theoretic perspective.











This page was built for publication: Synthesizing inductive expertise

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1107325)