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