编辑配置文件(在新选项卡中打开) 亚历山大·莱莱茨基。 合著者距离 作者ID: lyaletski.alexander-v 发布日期: 亚历山大·利亚列茨基;亚历山大·莱莱茨基。;Lyaletski,A.V.公司。 更多。。。较少的 已编制索引的文档: 19出版物自1999年起 合著者: 6位合著者具有10联合出版物 116位合作作者 全部的 前5名合著者 8 单作者的 6 康斯坦丁·沃奇宁 5 安德烈·帕斯科维奇 4 安纳托利·伊万诺维奇·德吉亚列夫 4 莫罗霍夫茨,玛丽娜·K·。 1 安纳托利·安尼西莫夫。 1 Yu Kapitonova。五、。 1 鲍里斯·科涅夫 1 Letychevs'kyĭ,Oleksandr Adol'fovych 全部的 前5名系列 三 控制论与系统分析 1 自动推理杂志 1 数学与人工智能年鉴 1 摩尔多瓦计算机科学杂志 1 应用逻辑杂志 1 形式化推理杂志 字段 14 计算机科学(68-XX) 8 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用33中的次18文件 引用人▼ 年份▼ 自动扣除系统(SAD):一种验证证据的工具。 Zbl 1213.68576号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇 8 2007 从逻辑和实践的角度探讨数学文本的正确性。 Zbl 1166.68353号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇;阿纳托利·阿尼西莫夫 7 2008 证据算法和顺序逻辑推理搜索。 Zbl 0938.03018号 德吉亚列夫,阿纳托利一世。;亚历山大·莱莱茨基。;莫罗霍夫茨,玛丽娜·K·。 5 1999 自动演绎系统(SAD):语言和演绎特性。 Zbl 1088.68773号 亚历山大·利亚列茨基;康斯坦丁·沃奇宁;安纳托利·德吉亚列夫;安德烈·帕斯科维奇 5 2002 系统SAD中的定理证明和证明验证。 Zbl 1108.68573号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 4 2004 SAD作为一名数学助理——我们应该如何从这里走向那里? Zbl 1107.68099号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 2 2006 一阶逻辑中的证据算法和推理搜索。 Zbl 1356.03055号 亚历山大·利亚列茨基 2 2015 Glushkov的证据算法。 兹比尔1371.68003 莱蒂切夫斯基(A.A.Letichevsky)。;Lyaletski,A.V.公司。;莫罗霍夫茨,M.K。 2 2013 关于直觉逻辑的赫布兰德定理。 Zbl 1152.03310号 亚历山大·利亚列茨基;鲍里斯·科涅夫 1 2006 面向计算机的序列树计算。 Zbl 1202.68387号 亚历山大·利亚列茨基 1 2004 以计算机为导向的序列推断,无需进行初步扫描。 兹比尔1091.68594 亚历山大·利亚列茨基 1 2003 EA-风格的数学文本处理:一个连续的方面。 Zbl 1451.03016号 亚历山大·利亚列茨基 1 2016 EA-风格的数学文本处理:一个连续的方面。 Zbl 1451.03016号 亚历山大·利亚列茨基 1 2016 一阶逻辑中的证据算法和推理搜索。 兹比尔1356.03055 亚历山大·利亚列茨基 2 2015 Glushkov的证据算法。 Zbl 1371.68003号 莱蒂切夫斯基(A.A.Letichevsky)。;Lyaletski,A.V.公司。;莫罗霍夫茨,M.K。 2 2013 从逻辑和实践的角度探讨数学文本的正确性。 Zbl 1166.68353号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇;阿纳托利·阿尼西莫夫 7 2008 自动扣除系统(SAD):一种验证证据的工具。 Zbl 1213.68576号 康斯坦丁·沃奇宁;亚历山大·利亚列茨基;安德烈·帕斯科维奇 8 2007 SAD作为一名数学助理——我们应该如何从这里走向那里? Zbl 1107.68099号 亚历山大·利亚列茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 2 2006 关于直觉逻辑的赫布兰德定理。 Zbl 1152.03310号 亚历山大·利亚列茨基;鲍里斯·科涅夫 1 2006 系统SAD中的定理证明和证明验证。 Zbl 1108.68573号 亚历山大·莱莱茨基;安德烈·帕斯科维奇;康斯坦丁·沃奇宁 4 2004 面向计算机的序列树计算。 Zbl 1202.68387号 亚历山大·利亚列茨基 1 2004 以计算机为导向的序列推断,无需进行初步扫描。 Zbl 1091.68594号 亚历山大·利亚列茨基 1 2003 自动演绎系统(SAD):语言和演绎特性。 兹比尔1088.68773 亚历山大·利亚列茨基;康斯坦丁·沃奇宁;安纳托利·德吉亚列夫;安德烈·帕斯科维奇 5 2002 证据算法和顺序逻辑推理搜索。 Zbl 0938.03018号 阿纳托利·德格蒂亚列夫。;亚历山大·莱莱茨基。;莫罗霍夫茨,玛丽娜·K·。 5 1999 所有引用出版物 前5名被引用出版物 全部的 前5名36位作者引用 4 彼得·科普克 三 亚历山大·莱莱茨基。 2 克拉默,马科斯 2 阿德里安·德隆 2 简·赫尔曼·杰弗斯 2 安东·洛伦岑 2 阿德里安·马蒂 2 莫罗霍夫茨,玛丽娜·K·。 2 安德烈·帕斯科维奇 2 伯恩哈德·施罗德 2 马塞尔·舒茨 2 康斯坦丁·沃奇宁 1 杰西·阿拉玛 1 安纳托利·安尼西莫夫。 1 格拉泽戈兹·班塞雷克 1 Czesław拜林斯基 1 雅克·卡雷特 1 安纳托利·伊万诺维奇·德吉亚列夫 1 Farmer,William M。 1 亚当·格拉博夫斯基 1 都铎Jebelean 1 莱因哈德·卡勒 1 Yu Kapitonova。五、。 1 阿萨夫·科福里。 1 鲍里斯·科涅夫 1 阿图尔·科尔尼·奥维茨 1 丹尼尔·库尔温 1 笔记本电脑,安德烈 1 Letychevs'kyĭ,Oleksandr Adol'fovych 1 罗马人Matuszewski 1 亚当·纳莫维奇 1 Rob Nederpelt公司 1 Pąk,卡罗尔 1 埃里克·斯图森海克 1 杰夫·萨特克利夫 1 马卡里乌斯·温泽尔 全部的 前5名7篇连载文章中引用 三 自动推理杂志 2 控制论与系统分析 1 Indagationes Mathematicae公司。新系列 1 数学科学杂志(纽约) 1 数学与人工智能年鉴 1 萨达纳 1 应用逻辑杂志 在4个字段中引用 17 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 1 总体主题;集合(00-XX) 按年份列出的引文