编辑配置文件(在新选项卡中打开) 孟宝洛 合著者距离 作者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中的关系约束求解。 Zbl 1494.68289号 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 SMT中的关系约束求解。 Zbl 1494.68289号 孟宝洛;安德鲁·雷诺兹;塞萨尔·蒂内利;克拉克·巴雷特 三 2017 全部的 前5名8位作者引用 1 朱利安·布鲁内尔 1 戴维·谢穆伊尔 1 科恩·克莱森 1 马克西米利亚诺·克里斯蒂亚 1 阿尔西诺·库尼亚 1 安·利利斯特罗姆 1 马塞多,努诺 1 吉安弗兰科·罗西 连载1篇 三 自动化推理杂志 在2个字段中引用 三 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文