编辑配置文件（在新选项卡中打开） Jelle Piepenbrock 合著者距离 作者ID： 皮彭布罗克·杰尔 发布日期： Jelle Piepenbrock 已编制索引的文档： 1出版物自2022年起 合著者： 3位合著者具有1联合出版物 134联合作者 合著者 0 单作者的 1 汤姆·M·海斯克斯。 1 米科拉什·亚诺塔 1 约瑟夫·乌尔班 系列 字段 1 群论与推广（20-XX） 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 用神经重写指导自动定理证明器。 Zbl 1512.68427号 Jelle Piepenbrock;汤姆·海斯克斯;米科拉什·亚诺塔;约瑟夫·乌尔班 1 2022 用神经重写指导自动定理证明器。 Zbl 1512.68427号 Jelle Piepenbrock;汤姆·海斯克斯;米科拉什·亚诺塔;约瑟夫·乌尔班 1 2022 0作者引用 0连载引用 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文