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