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

扎莫夫，奈尔·卡利马托维奇

合著者距离
作者ID： zamov.nail-kalimatovitch公司Zamov，Nail Kalimatovitch最近发表的zbMATH文章
发布日期： 新泽西州扎莫夫。;扎莫夫，奈尔·卡利马托维奇;扎莫夫·奈尔
外部链接： MGP公司
编入索引的文档： 19出版物自1968年以来
1名编辑贡献
审查活动： 124评论
合著者： 4位合著者具有10联合出版物
58位合著者

合著者

10 单作者的
9 沙罗诺夫，V.I。
1 Fermüller，Christian G。
1 亚历山大·莱奇
1 塔内尔·塔米特
全部的 前5名

系列

4 苏联数学杂志
4 卡赞斯基大学。乌琴耶·扎皮斯基
1 Izvestiya Vysshikh Uchebnykh Zavedeniĭ，马特马提卡
1 苏联数学。多克拉迪
1 苏联数学
1 纯逻辑与应用逻辑年鉴
1 计算机与人工智能
1 计算机科学课堂讲稿
1 Steklov数学研究所学报
1 Zapiski Nauchnykh研讨会Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V.A.Steklova

领域

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

按年份列出的出版物

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

zbMATH Open中包含的引文

7出版物有被引用42中的次39文件 引用人▼ 年份▼
决策问题的解决方法。 Zbl 0789.03013号
25
1993
关于解析方法中术语复杂性的一个界。 Zbl 0305.68064号
新泽西州扎莫夫。
8
1972
马斯洛夫逆方法和可判定类。 Zbl 0692.03009号
新泽西州扎莫夫。
4
1989
通过分解方法确定可证明性的一类策略。 Zbl 0231.68036号
新泽西州扎莫夫。;沙罗诺夫，V.I。
2
1971
模态分辨率。 Zbl 0689.03005号
新泽西州扎莫夫。
1
1989
模态分辨率。 Zbl 0702.03006号
新泽西州扎莫夫。
1
1989
无Skolemization的分辨率方法。 Zbl 0637.03011号
新泽西州扎莫夫。
1
1987
决策问题的解决方法。 Zbl 0789.03013号
25
1993
马斯洛夫逆方法和可判定类。 Zbl 0692.03009号
新泽西州扎莫夫。
4
1989
模态分辨率。 兹伯利0689.03005
新泽西州扎莫夫。
1
1989
模态分辨率。 Zbl 0702.03006号
新泽西州扎莫夫。
1
1989
无Skolemization的分辨率方法。 Zbl 0637.03011号
新泽西州扎莫夫。
1
1987
关于解析方法中术语复杂性的界。 Zbl 0305.68064号
新泽西州扎莫夫。
8
1972
通过分解方法确定可证明性的一类策略。 Zbl 0231.68036号
新泽西州扎莫夫。;沙罗诺夫，V.I。
2
1971
所有引用出版物 前5名被引用出版物
全部的 前5名

31位作者引用

9 尼古拉斯·佩尔蒂埃
4 汉斯·德·尼维尔
4 塔内尔·塔米特
三 里卡多·卡费拉
三 雷娜特·施密特（Renate A.Schmidt）。
2 雷纳·哈内尔
2 乌尔里希·赫斯塔特
2 格里戈里·埃弗罗伊莫维奇造币厂
2 鲍里斯·莫提克
2 大卫·艾伦（David Alan），Plaisted
2 扎莫夫，奈尔·卡利马托维奇
1 阿雷塞斯，卡洛斯
1 彼得·鲍姆加特纳
1 玛丽亚·保拉（Maria Paola Bonacina）
1 克利斯朵夫，很有把握
1 斯特凡·布吕宁
1 Samuel R.巴斯。
1 马尔滕，德里伊克
1 Fermüller，Christian G。
1 丹尼尔·戈林
1 詹·约翰森
1 叶夫根尼·哈萨克夫
1 斯特凡·克林根贝克
1 克里斯蒂安·佩普
1 乌尔里克·萨特勒
1 史密斯，简·M。
1 维奥里卡Sofrone-Stokkerman
1 弗兰克·沃尔特
1 尼古拉斯·扎贝尔
1 迈克尔·维克托洛维奇（Michael Viktorovich）
1 郑森
全部的 前5名

9篇连载文章中引用

7 符号计算杂志
6 自动推理杂志
2 纯逻辑与应用逻辑年鉴
2 信息与计算
1 苏联数学杂志
1 符号逻辑杂志
1 逻辑、语言与信息杂志
1 逻辑程序设计理论与实践
1 可满足性、布尔建模与计算杂志

在3个字段中引用

28 计算机科学（68至XX）
27 数学逻辑和基础（03-XX）
1 阶、格、有序代数结构（06-XX）

按年份列出的引文