编辑配置文件（在新选项卡中打开） 法扎内德拉赫尚 合著者距离 作者ID： derakhshan.farzaneh公司 发布日期： 法扎内德拉赫尚 已编制索引的文档： 3出版物自2014年起 合著者： 4位合著者具有3联合出版物 164位合作作者 合著者 0 单作者的 1 马吉德·阿里扎德 1 小野，Hiroakira 1 弗兰克，普芬宁 1 威弗里德·西格 系列 1 自动推理杂志 1 计算机科学中的逻辑方法 1 符号逻辑述评 字段 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次3文件 引用人▼ 年份▼ 子结构逻辑中的统一插值。 Zbl 1337.03033号 马吉德·阿里扎德；德拉赫尚、法扎内赫；小野，Hiroakira 2 2014 以人为中心的自动校样搜索。 Zbl 07461268号 威弗里德·西格；德拉赫尚、法扎内赫 1 2021 以人为中心的自动校样搜索。 Zbl 07461268号 威弗里德·西格；德拉赫尚、法扎内赫 1 2021 子结构逻辑中的统一插值。 Zbl 1337.03033号 马吉德·阿里扎德；德拉赫尚、法扎内赫；小野，Hiroakira 2 2014 4位作者引用 1 罗莎莉，伊姆霍夫 1 托马斯·科瓦尔斯基 1 乔治·梅特卡夫 1 威弗里德·西格 连载1篇 2 纯逻辑与应用逻辑年鉴 在4个字段中引用 三 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 一般代数系统（08-XX） 按年份列出的引文