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