×

亚历山大·莱莱茨基。

作者ID: lyaletski.alexander-v最近的zbMATH文章由“Lyaletski,Alexander V。”
发布日期: 亚历山大·利亚列茨基;亚历山大·莱莱茨基。;Lyaletski,A.V.公司。
已编制索引的文档: 19出版物自1999年起
合著者: 6位合著者具有10联合出版物
116位合作作者

按年份列出的出版物

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

按年份列出的引文