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