编辑配置文件（在新选项卡中打开） 约翰·卡米莱里。 合著者距离 作者ID： 卡米列里·约翰-j 发布日期： 约翰·卡米莱里。 已编制索引的文档： 2出版物自2013年起 合著者： 2合著者具有2联合出版物 48位合作作者 合著者 0 单作者的 2 杰拉尔多·施奈德 1 克拉西米尔·安吉洛夫 系列 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 用受控自然语言编写的规范性文本的冲突分析框架。 Zbl 1283.68333号 克拉西米尔·安吉洛夫;约翰·卡米莱里。;杰拉尔多·施奈德 1 2013 用受控自然语言编写的规范性文本的冲突分析框架。 Zbl 1283.68333号 克拉西米尔·安吉洛夫;约翰·卡米莱里。;杰拉尔多·施奈德 1 2013 2位作者引用 1 约翰·卡米莱里。 1 杰拉尔多·施奈德 连载1篇 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文