Incorporating hypothetical knowledge into the process of inductive synthesis

DOI10.1007/3-540-61863-5_43zbMath1184.68280OpenAlexW1804642776MaRDI QIDQ3556990

Ugis Sarkans, Ja. M. Barzdin'

Publication date: 27 April 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61863-5_43

Mathematics Subject Classification ID

Computational learning theory (68Q32)

This page was built for publication: Incorporating hypothetical knowledge into the process of inductive synthesis