Inductive synthesis of models from facts

zbMath1075.68639MaRDI QIDQ2566350

S. V. Smolentsev

Publication date: 23 September 2005

Published in: Journal of Computer and Systems Sciences International (Search for Journal in Brave)

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

This page was built for publication: Inductive synthesis of models from facts