СТ |
О паралогичности некоторых логических построений |
2008 |
Василик П. В., Провотар А. И. |
|
|
|
Кибернетика и системный анализ |
07.06.2008 |
СТ |
Аксиоматические модели и методы проектирования языковых трансляторов |
2003 |
Парасюк И. Н., Провотар А. И., Кондратенко В. А. |
|
|
|
Проблемы программирования |
26.11.2004 |
СТ |
К вопросу о семантике языков программирования |
2002 |
Провотар А. И. |
|
|
|
Проблемы программирования |
01.11.2002 |
СТ |
О применении категорных методов в Computer Science |
2000 |
Сергиенко И. В., Парасюк И. Н., Провотар А. И. |
|
|
|
Кибернетика и системный анализ |
20.10.2000 |
СТ |
Применение метода резолюций на семантических сетях |
2000 |
Провотар А. И., Дубка Т. Н., Гошко Б. М. |
|
|
|
Проблемы программирования |
14.06.2000 |
СТ |
Некоторые применения категорных методов в Computer Science |
2000 |
Сергиенко И. В., Парасюк И. Н., Провотар А. И. |
|
|
|
Проблемы программирования |
10.06.2000 |
СТ |
Инструментальные средства построения нестандартного интерфейса пользователя в среде PARADOX 4.5 |
1996 |
Провотар А. И., Гошко Б. М. |
|
|
|
Управляю ие системы и машины |
18.02.1997 |
СТ |
Проблемы оптимизации в композиционной структурно-модульной технологии программирования |
1995 |
Парасюк И. Н., Провотар А. И. |
|
|
|
Кибернетика и системный анализ |
07.09.1995 |
СТ |
О методологии композиционного структурно-модульного программирования |
1995 |
Парасюк И. Н., Провотар А. И., Заложенкова И. А. |
|
|
|
Кибернетика и системный анализ |
14.06.1995 |
СТ |
Теоретические аспекты композиционного структурно-модульного программирования: вычислимость операций алгебры морфизмов |
1994 |
Провотар А. И. |
|
|
|
Кибернетика и системный анализ |
21.03.1995 |
СТ |
CASE ARS - интегрированная среда построения прикладных программных систем с помо ью структурно-модульных методов |
1993 |
Сергиенко И. В., Парасюк И. Н., Калита А. В., Провотар А. И., Барткив А. В. |
|
|
|
Управляю ие системы и машины |
19.08.1993 |