@收款{zbMATH07154815，作者={Johansson，Moa}，标题={归纳的引理发现。{A}综述}，BookTitle={智能计算机数学。第十二届国际会议，CICM 2019，捷克共和国布拉格，2019年7月8日至12日。诉讼程序}，国际标准图书编号={978-3-030-23249-8；978-3-0.30-23250-4}，页码={125--139}，年份={2019}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-23250-4_9}，关键词={68V15}，zbMATH={7154815}，Zbl={1428.68342}}