Ви є тут

Программная система КВАНТ/1 для автоматического доказательства теорем

Автор: 

Черкашин Евгений Александрович

Тип роботи: 

Кандидатская

Рік: 

1999

Артикул:

1000253725

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Система разработки и поддержки исполнения параллельных программ
• Разработка математического обеспечения систем управления вложенными транзакциями в параллельных и распределенных средах
• Разработка и исследование ПО для распознавания и анализа объектов на изображении с помощью нейронной сети
• Математическое и программное обеспечение системы анализа динамики земной поверхности по данным дистанционного зондирования Земли
• Контекстно-ассоциативный метод уточнения поисковых запросов с обратной связью по релевантности
• Формальная семантика C-LIGHT программ и их верификация методом Хоара
• Интеллектуальная система программирования FramIX для представления знаний в системах принятия решений
• Исследование и разработка языковых средств описания неоднородных вычислительных систем и их реализация в системе программирования mpC
• Программное обеспечение диалога в задачах анализа и обработки экспериментальных данных в физике высоких энергий
• Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий