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