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