Publication:4282561

zbMath0792.68149MaRDI QIDQ4282561

Thomas Zeugmann

Publication date: 17 April 1994

zbMATH Keywords

inductive inference; recursive functions; synthesis of optimal programs

Mathematics Subject Classification ID

68T05: Learning and adaptive systems in artificial intelligence

03D20: Recursive functions and relations, subrecursive hierarchies

Related Items

Learning recursive functions: A survey