- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение
Тип роботи:
диссертация кандидата физико-математических наук
Рік:
2005
Кількість сторінок:
155
Артикул:
1180 179 грн
Рекомендовані дисертації
- Локальные базисы в алгебраическом подходе к проблеме распознавания
- Автоматная сложность вычисления формул
- Методы решения игровых задач дискретного управления линейных последовательностных машин
- Оптимальные по точности алгоритмы решения некоторых многоэкстремальных задач оптимизации
- Комбинаторные полиномы разбиений и их приложения
- Системы функциональных уравнений многозначной логики
- Применение методов теории групп к задачам управления на примере матричных дифференциальных уравнений Риккати
- Разработка методов сокращения диагностической информации
- Применение метода линеаризации к задачам большого объема
- Синтезирующие функции линейных управляемых систем