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