Проекты

Автоматизированная система синтеза сложных понятий в концептуальных моделях, заданных на атрибутивном уровне

Транслятор преобразования математических выражений (аксиом, теорем, термов), содержащих ТМО, в программу на Прологе

Программный комплекс, автоматизирующий ввод текстов родов структур при родоструктурной экспликации теорий (ПК "Экстеор")

Теоретические основы технического задания на создание программного комплекса, реализующего математический аппарат ТЛКП ТОСПО. Версия 2.

Система автоматизированного проектирования концептуальных схем сложных объектов: САПР "Постулатор". Назначение и технические характеристики