×
作者ID: provotar.a-i公司“Provotar,A.I.”最近发表的zbMATH文章
发布日期: 普罗沃塔,A.I。;普罗沃塔',A.I。
已编制索引的文档: 22出版物自1986年起
合著者: 11位合著者具有17联合出版物
159位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

12出版物有被引用2716文件 引用人 年份
结构化模块化组合编程方法。 Zbl 0844.68014号
Parasyuk,I.N。;普罗沃塔,A.I。;扎洛振科娃,I.A。
6
1995
结构化模块化组合编程CASE系统:概念基础。 Zbl 0939.68553号
Parasyuk,I.N。;Kalita,A.V.公司。;普罗沃塔,A.I。
4
1993
在计算机科学中使用范畴方法。 Zbl 0999.68097号
Sergienko,I.V.公司。;Parasyuk,I.N。;普罗沃塔,A.I。
2000
拓扑中的不完整性。 Zbl 0891.18003号
普罗沃塔,A.I。
1996
算术和存在定义关系的递归几何。 Zbl 0884.18002号
普罗沃塔,A.I。
2
1996
模糊面向对象动态网络。一、。 Zbl 1327.68283号
Terletskyi,D.A。;普罗沃塔,A.I。
2
2015
结构化模块组合编程的理论方面:形态代数。 Zbl 0823.68062号
普罗沃塔,A.I。
2
1993
计算机技术中的形式化方法。 Zbl 0933.68093号
Sergienko,I.V.公司。;Parasyuk,I.N。;普罗沃塔,A.I。
1
1998
研究临界速度的形式模型(通过洛伦兹变换进行说明)。 Zbl 1028.83501号
瓦西里克,P.V。;普罗沃塔,A.I。
1
2002
对于理论结构的不完整性问题(通过一些自然科学问题的形式化示例说明)。 Zbl 1117.68061号
瓦西利克,P.V。;普罗沃塔,A.I。
1
2006
有限生成关系及其在一类语言翻译问题中的应用。 Zbl 0639.68066号
Sergienko,I.V.公司。;Parasyuk,I.N。;普罗沃塔',A.I。
1
1986
结构化模块组合编程的理论方面:态射代数运算的可计算性。 Zbl 0834.18004号
普罗沃塔,A.I。
1
1994
模糊面向对象动态网络。一、。 Zbl 1327.68283号
Terletskyi,D.A。;普罗沃塔,A.I。
2
2015
对于理论结构的不完整性问题(通过一些自然科学问题的形式化示例说明)。 Zbl 1117.68061号
瓦西利克,P.V。;普罗沃塔,A.I。
1
2006
研究临界速度的形式模型(通过洛伦兹变换进行说明)。 Zbl 1028.83501号
瓦西利克,P.V。;普罗沃塔,A.I。
1
2002
在计算机科学中使用分类方法。 Zbl 0999.68097号
Sergienko,I.V.公司。;Parasyuk,I.N。;普罗沃塔,A.I。
2000
计算机技术中的形式化方法。 Zbl 0933.68093号
Sergienko,I.V.公司。;Parasyuk,I.N。;普罗沃塔,A.I。
1
1998
拓扑中的不完整性。 Zbl 0891.18003号
教务长,A.I。
1996
算术和存在定义关系的递归几何。 Zbl 0884.18002号
普罗沃塔,A.I。
2
1996
结构化模块化组合编程方法。 Zbl 0844.68014号
Parasyuk,I.N。;普罗沃塔,A.I。;扎洛振科娃,I.A。
6
1995
结构化模块组合编程的理论方面:形态代数运算的可计算性。 Zbl 0834.18004号
教务长,A.I。
1
1994
结构化模块化组合编程CASE系统:概念基础。 Zbl 0939.68553号
Parasyuk,I.N。;A.V.卡利塔。;普罗沃塔,A.I。
4
1993
结构化模块组合编程的理论方面:形态代数。 Zbl 0823.68062号
普罗沃塔,A.I。
2
1993
有限生成关系及其在一类语言翻译问题中的应用。 Zbl 0639.68066号
Sergienko,I.V.公司。;Parasyuk,I.N。;主持人;,A.一。
1
1986

2篇连载文章中引用

15 控制论与系统分析
1 控制论

按年份列出的引文