![]() |
О ТЕХНОЛОГИИ МНОГОУРОВНЕВОЙ РАЗРАБОТКИ ПРОГРАММНЫХ СИСТЕММахортов С.Д.
|
![]() |
ПОРОЖДАЮЩИЕ МНОЖЕСТВА В ПРОДУКЦИОННЫХ СИСТЕМАХМахортов С.Д.
|
![]() |
ЛОГИЧЕСКИЕ ОТНОШЕНИЯ НА РЕШЕТКАХМахортов С.Д.
|
![]() |
ЛОГИЧЕСКИЕ УРАВНЕНИЯ НА РЕШЕТКАХМахортов С.Д.,Результаты И
|
![]() |
Некоммутативные решетки и немонотонные логические отношенияМахортов С.Д.
|
![]() |
АЛГЕБРЫ ВЕСОВЫХ И ВЫРОЖДАЮЩИХСЯ ПСЕВДОДИФФЕРЕНЦИАЛЬНЫХ ОПЕРАТОРОВМахортов С.Д.
|
![]() |
МЕТОДЫ ИССЛЕДОВАНИЯ И ПРЕОБРАЗОВАНИЯ ИЕРАРХИЙ ТИПОВ НА ОСНОВЕ ЛОГИЧЕСКИХ СТРУКТУРМахортов С.Д.
|
![]() |
ОБ АЛГЕБРАИЧЕСКОЙ ИНТЕРПРЕТАЦИИ ПРОДУКЦИОННОЙ ЛОГИКИ НУЛЕВОГО ПОРЯДКАМахортов С.Д.
|
![]() |
О ПРИЛОЖЕНИЯХ LP-СТРУКТУР В ТЕОРИИ ПРОГРАММИРОВАНИЯМахортов С.Д.
|
![]() |
АЛГЕБРАИЧЕСКИЙ ПОДХОД К РЕШЕНИЮ НЕКОТОРЫХ ЗАДАЧ РЕФАКТОРИНГАМахортов С.Д.,Погореленко В.А.
|