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