@第{zbMATH01014246条，作者={Bouhoula，Adel}，标题={通过测试集归纳实现自动定理证明}，FJournal＝{符号计算杂志}，日志={J.Symb.Comput.}，ISSN={0747-7171}，体积＝{23}，数字={1}，页码={47--77}，年份={1997}，语言={英语}，DOI={10.1006/jsco.1996.0076}，关键词={68T15}，URL={semanticscholar.org/paper/85cdc6fadd724d3d81f49ec12576436d403b7866}，zbMATH={1014246}，Zbl={0878.68108}}