编辑配置文件（在新选项卡中打开） 扎莫夫，奈尔·卡利马托维奇 合著者距离 作者ID： 扎莫夫纳伊·卡利马托维奇 发布日期： 新泽西州扎莫夫。;扎莫夫，奈尔·卡利马托维奇;扎莫夫·奈尔 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 19出版物自1968年以来 1名编辑贡献 审查活动： 124评论 合著者： 4位合著者具有10联合出版物 59位合作作者 合著者 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号 扎莫夫，N.K。 1 1987 决策问题的解决方法。 Zbl 0789.03013号 25 1993 马斯洛夫逆方法和可判定类。 兹比尔0692.03009 新泽西州扎莫夫。 4 1989 模态分辨率。 Zbl 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 Jan 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） 按年份列出的引文