- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Автоматический поиск натурального вывода в классической логике предикатов
Тип роботи:
кандидатская
Рік:
2004
Кількість сторінок:
109
Артикул:
203331 179 грн
Рекомендовані дисертації
- Сравнительный анализ методов античной, средневековой и классической индуктивной логики
- Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
- Логика в университетской философии Санкт-Петербурга начала XX века : дискуссия А.И. Введенского и Н.О. Лосского
- Логико-философские основания проблемы представления знаний
- Учение Аристотеля о модальности
- Принцип квазифункциональности и нечеткие логики
- Логика древнего Китая
- Протологика: новый взгляд на природу логического
- Логика в университетской философии Санкт-Петербурга начала XX века
- Квазиматричная логика норм