- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Автоматический поиск натурального вывода в классической логике предикатов
Тип работы:
кандидатская
Год:
2004
Количество страниц:
109
Артикул:
203331 179 грн
Рекомендуемые диссертации
- Действия и нормы: исследование по логике деонтических модальностей
- Логико-методологические проблемы научного объяснения
- Паранепротиворечивость и релевантность
- Логико-методологические закономерности качественного анализа слабо структурированных проблем
- Диалектическая природа значения языковых выражений (логико-методологические аспекты)
- Учение Аристотеля о модальности
- Логические идеи Э. Гуссерля
- Релевантная логика и теория следования
- Принцип квазифункциональности и нечеткие логики
- Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени