- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Современные проблемы использования табличных методов в логике
Тип роботи:
докторская
Рік:
2005
Кількість сторінок:
346
Артикул:
203321 179 грн
Рекомендовані дисертації
- Сравнительный анализ методов античной, средневековой и классической индуктивной логики
- Действия и нормы
- Роль эстетического восприятия в религиозном и атеистическом сознании
- Иллокутивная логика
- Моделирование финитных ситуаций и критика финитных моделей в традиционной логике
- Теория рассуждений Ч. Пирса : Проблема абдукции
- Иллокутивная логика: логическое следование, семантика и прагматика
- Семантический анализ простых паранормальных логик
- Логические модели представления знаний
- Алгоритм поиска натурального вывода для интуиционистской логики высказываний