编辑配置文件(在新选项卡中打开) 伊曼纽尔·隆卡 合著者距离 作者ID: 伦敦埃曼纽尔 发布日期: 伊曼纽尔·隆卡 已编制索引的文档: 3出版物自2014年起 合著者: 6位合著者具有3联合出版物 156位合作作者 全部的 前5名合著者 0 单作者的 2 丹尼尔·勒贝雷 2 皮埃尔·侯爵 1 阿明·比尔 1 弗里德里克·科里奇 1 Jean-Marie拉格尼茨 1 诺伯特·曼恩 系列 1 人工智能 领域 三 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次6文件 引用人▼ 年份▼ 检测CNF中的基数约束。 Zbl 1423.68437号 阿明·比尔;丹尼尔·勒贝雷;伊曼纽尔·隆卡;诺伯特·曼恩 4 2014 模型计数的定义。 Zbl 1435.68304号 Jean-Marie拉格尼茨;伊曼纽尔·隆卡;皮埃尔·侯爵 2 2020 无法定义模型计数。 Zbl 1435.68304号 Jean-Marie拉格尼茨;伊曼纽尔·隆卡;皮埃尔·侯爵 2 2020 检测CNF中的基数约束。 兹比尔1423.68437 阿明·比尔;丹尼尔·勒贝雷;伊曼纽尔·隆卡;诺伯特·曼恩 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 1 阿德里安·巴林 1 Bayless,山姆 1 阿明·比尔 1 查克拉波蒂,苏普拉特克 1 克劳迪娜·朝义亚 1 马蒂亚斯·弗勒里 1 霍尔格·H·胡斯。 1 弗兰克·哈特 1 马库斯·伊泽尔 1 斯文·柯尼格 1 库马尔,T.K.萨蒂什 1 凯文·莱顿·布朗 1 李娇阳 1 马里乌斯·林道尔 1 林奇,因斯 1 Vasco M.Manquinho。 1 诺伯特·曼恩 1 Kuldeep S.梅尔。 1 佩德罗·蒙泰罗。 1 卡斯滕·辛兹 1 帕维尔·苏瑞克 1 佩德罗·瓦雷拉。 1 杨炯 1 张,韩 2篇连载文章中引用 2 人工智能 1 系统设计中的形式化方法 在2个字段中引用 5 计算机科学(68至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文