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

Другие работы по этой специальности

1. Исследование и реализация средств асинхронной обработки динамических структур данных

   Креккер, Геннадий Мартынович · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
2. Обратная модель главных компонент и ее применение

   Жанатауов, Сапаргали Утепович · Канд. наук

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
3. Исследование методов многопоточной маршрутизации для обеспечения качества сетевого сервиса

   Степанов, Евгений Павлович · 2022 · Канд. наук · Объединенный институт ядерных исследований

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
4. Метод и алгоритмы назначения заданий в распределенной информационной системе Интернета вещей

   Степанова, Мария Владимировна · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет)»

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
5. Модели, методы и программные средства извлечения оценочных отношений на основе фреймовой базы знаний

   Русначенко, Николай Леонидович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный технический университет имени Н.Э. Баумана (национальный исследовательский университет)»

   • 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

Все работы по специальности