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

阿里·法贾米

合著者距离
作者ID： 法贾米·阿里“Farjami，Ali”最近发表的zbMATH文章
发布日期： 阿里·法贾米
已编制索引的文档： 9出版物自2018年起，包括3个附加arXiv预打印
合著者： 10位合著者具有8联合出版物
222名Co-Co作者
全部的 前5名

合著者

1 单作者的
4 克里斯托夫·埃瓦尔德·本兹穆勒
4 家长，Xavier
三 安德烈亚·德·多梅尼科
三 克里希纳·B·马诺卡尔。
三 亚历山德拉·帕尔米吉亚诺
三 马蒂亚·帕内蒂埃
三 王晓龙
1 约翰·乔治·格兰斯特罗姆
1 保罗·麦德
1 沙希德·拉赫曼

系列

2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志

领域

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

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用5次4文件 引用人▼ 年份▼
HOL中的I/O逻辑。 兹比尔1513.03040
克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长，Xavier
三
2019
HOL中的二元道义逻辑。 Zbl 1418.03069号
克里斯托夫·本兹穆勒;阿里·法贾米;家长，Xavier
2
2018
HOL中的I/O逻辑。 Zbl 1513.03040号
克里斯托夫·本兹穆勒;阿里·法贾米;保罗·麦德;家长，Xavier
三
2019
HOL中的二元道义逻辑。 Zbl 1418.03069号
克里斯托夫·本兹穆勒;阿里·法贾米;家长，Xavier
2
2018
全部的 前5名

11位作者引用

2 克里斯托夫·埃瓦尔德·本兹穆勒
1 安德里亚·德·多梅尼科
1 阿里·法贾米
1 比约恩·莱尔曼
1 克里希纳·B·马诺卡尔。
1 亚历山德拉·帕尔米吉亚诺
1 马蒂亚·帕内蒂埃
1 家长，Xavier
1 亚历山大·斯廷
1 范德托雷，Leendert W.N。
1 王晓龙

2篇连载文章中引用

1 人工智能
1 自动推理杂志

在2个字段中引用

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

按年份列出的引文