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