编辑配置文件（在新选项卡中打开） 孟宝洛 合著者距离 作者ID： 孟宝洛 发布日期： 孟宝洛 已编制索引的文档： 3出版物自2007年起 合著者： 3位合著者具有1联合出版物 119合著作者 合著者 1 单作者的 1 克拉克·W·巴雷特。 1 安德鲁·雷诺兹 1 塞萨尔·蒂内利 系列 1 模糊数学杂志 1 连续、离散和脉冲系统动力学。B系列应用程序和算法 领域 1 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 1 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3次3文件 引用人▼ 年份▼ SMT中的关系约束求解。 兹比尔1494.68289 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 SMT中的关系约束求解。 兹比尔1494.68289 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 全部的 前5名8位作者引用 1 朱利安·布鲁内尔 1 戴维·谢穆伊尔 1 科恩·克莱森 1 马克西米利亚诺·克里斯蒂亚 1 阿尔西诺·库尼亚 1 安·利利斯特罗姆 1 马塞多，努诺 1 吉安弗兰科·罗西 连载1篇 三 自动推理杂志 在2个字段中引用 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文