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