Ви є тут

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

Автор: 

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

Тип роботи: 

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

Рік: 

1999

Артикул:

1000253725

179 грн

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

• 
• 
• 

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

• Принципы и методы создания компилятора переднего плана Стандарта Cu ++
• Приближенные методы решения задачи Штейнера на ориентированных графах
• Базовые методы оптимизации на предикатном представлении программы для архитектур с явно выраженной параллельностью
• Моделирование, исследование и оптимизация информационно-вычислительных систем для автоматизации технологических процессов с динамически формируемыми маршрутами
• Вычислительная технология метода конечных объемов
• Компьютерные методы и средства управления в чрезвычайных ситуациях, обусловленных биологическими факторами
• Анализ обращений программы к памяти в оптимизирующей распараллеливающей системе
• Теоретико-категорное исследование семантики областей Скотта параллельных моделей с реальным временем
• Синтез визуальных объектов по естественно-языковому описанию на базе интегрированной онтологии
• Математические модели и программное обеспечение для повышения верности информации в распределенных информационно-управляющих системах