- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Аналитико-табличная формализация систем временной логики
Тип работы:
кандидатская
Год:
2004
Количество страниц:
115
Артикул:
203350 179 грн
Рекомендуемые диссертации
- Логико-семиотический анализ сакральных текстов и сакральной коммуникации
- Логические идеи Э. Гуссерля
- Регулярные логики Клини: расширение и обобщение
- Логические средства моделирования диалога
- Семантики ограниченных множеств описаний состояний
- Теория вывода в многозначных логиках
- Логические модели представления знаний
- Теория смысла в общей интенсиональной логике
- Логическая теория смысла в аналитической философии : от логического эмпиризма к холизму
- Автоматический поиск натурального вывода в классической логике предикатов