编辑配置文件（在新选项卡中打开） 尼克·莫法特 合著者距离 作者ID： 莫法特·尼克 发布日期： 尼克·莫法特 已编制索引的文档： 3出版物自2005年以来 合著者： 3位合著者具有3联合出版物 7位合作作者 合著者 0 单一作者 2 迈克尔·戈德史密斯 1 蒂姆·霍金斯 1 伊尔凡·扎基乌丁 系列 1 自动推理杂志 领域 三 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ CSP模型检查的假设承诺支持。 Zbl 1335.68178号 尼克·莫法特;迈克尔·戈德史密斯 1 2007 CSP模型检查的假设承诺支持。 Zbl 1335.68178号 尼克·莫法特;迈克尔·戈德史密斯 1 2007 2位作者引用 1 迈克尔·戈德史密斯 1 尼克·莫法特 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文