编辑配置文件(在新选项卡中打开) 保罗·莫雷廷 合著者距离 作者ID: 莫雷廷·鲍罗 发布日期: 保罗·莫雷廷 已编制索引的文档: 1出版物自2019年起 合著者: 2合著者具有1联合出版物 84位合作作者 合著者 0 单作者的 1 安德烈·帕塞里尼 1 罗伯托·塞巴斯蒂亚尼 系列 1 人工智能 字段 1 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 用于加权模型集成的高级SMT技术。 兹比尔1478.68328 保罗·莫雷廷;安德烈·帕塞里尼;罗伯托·塞巴斯蒂亚尼 三 2019 用于加权模型集成的高级SMT技术。 兹比尔1478.68328 保罗·莫雷廷;安德烈·帕塞里尼;罗伯托·塞巴斯蒂亚尼 三 2019 全部的 前5名9位作者引用 1 拉尔夫·阿布德 1 伊斯梅尔·伊尔坎 1 Giso H.达尔。 1 拉多斯拉夫·迪米特洛夫 1 马丁·格罗 1 阿扬·霍默索姆 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 彼得·林德纳 1 Peter J.F.卢卡斯。 3篇连载文章中引用 1 人工智能 1 国际近似推理杂志 1 计算机科学中的逻辑方法 在3个字段中引用 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 统计学(62-XX) 按年份列出的引文