×
编辑配置文件（在新选项卡中打开）

阿道夫·维拉菲奥里塔

合著者距离
作者ID： villafiorita.adolfo别墅“Villafiorita，Adolfo”最近发表的zbMATH文章
发布日期： 阿道夫·维拉菲奥里塔
外部链接： ORCID公司
已编制索引的文档： 4出版物自1996年起
合著者： 7合著者具有4联合出版物
321位Co-Co作者
全部的 前5名

合著者

0 单作者的
2 福斯托·金奇利亚
1 马西莫·贝内雷塞蒂
1 阿兰·邦迪
1 恩里科Giunchilia
1 罗伯托·塞巴斯蒂亚尼
1 卢西亚诺·塞拉菲尼
1 托比·沃尔什

系列

1 自动推理杂志
1 国际智能系统杂志

领域

三 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用6次6文件 引用人▼ 年份▼
抽象证明检查：由不完全性定理驱动的示例。 兹标0890.003004
阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什
4
1997
多智能体系统中信念的形式化描述。 Zbl 0937.68113号
马西莫·贝内雷塞蒂;恩里科Giunchilia;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔
1
1999
ABSFOL：具有抽象性的校对工具。 Zbl 1412.68226号
福斯托·金奇利亚;阿道夫·维拉菲奥里塔
1
1996
多智能体系统中信念的形式化描述。 Zbl 0937.68113号
马西莫·贝内雷塞蒂;恩里科Giunchilia;卢西亚诺·塞拉菲尼;阿道夫·维拉菲奥里塔
1
1999
抽象证明检查：由不完全性定理驱动的示例。 Zbl 0890.03004号
阿兰·邦迪;福斯托·金奇利亚;阿道夫·维拉菲奥里塔;托比·沃尔什
4
1997
ABSFOL：具有抽象性的校对工具。 Zbl 1412.68226号
福斯托·金奇利亚;阿道夫·维拉菲奥里塔
1
1996
所有引用出版物 前5名被引用出版物
全部的 前5名

10位作者引用

2 安德烈·波佩斯库
2 德米特里·特拉泰尔
1 于尔根·布劳伯格
1 克林顿·菲尔德
1 基亚拉·吉迪尼
1 马克·赫尔墨斯
1 多米尼克·柯斯特
1 托马斯·科尔贝。
1 卢西亚诺·塞拉菲尼
1 威弗里德·西格

3篇连载文章中引用

2 自动推理杂志
1 人工智能
1 纯逻辑与应用逻辑年鉴

在2个字段中引用

6 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）

按年份列出的引文