@第{zbMATH06798470条，作者={Jha，Susmit and Seshia，Sanjit A.}，Title={通过归纳学习的形式综合理论}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={54}，数字={7}，页码={693--726}，年份={2017年}，语言={英语}，DOI={10.1007/s00236-017-0294-5}，关键词={68N30,68T05}，URL={escholarship.org/uc/item/0gg593v2}，zbMATH＝{6798470}，Zbl=｛1380.68124｝}