Алгоритм поиска натурального вывода для интуиционистской логики высказываний

Макаров Валентин Валентинович. Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07.- Москва, 2002.- 113 с.: ил. РГБ ОД, 61 03-9/95-1
Автор
Макаров Валентин Валентинович
Год
2002

  • 99 000 UZS

Рекомендуем вам товары

Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
99 000 UZS
Автор
Нкодиа Орельен-Серж-Жерве
Количество страниц
Год
2000
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр
99 000 UZS
Автор
Нечитайлов Юрий Вячеславович
Количество страниц
Год
2003
Многозначные изоморфы классической пропозициональной логики
99 000 UZS
Автор
Девяткин Леонид Юрьевич
Количество страниц
Год
2008
Логико-семиотический анализ сакральных текстов и сакральной коммуникации
99 000 UZS
Автор
Гриненко, Галина Валентиновна
Количество страниц
Год
2000
Основные этапы развития и формирования современной модальной алетической логики
99 000 UZS
Автор
Кадыг-Оол, Хулербен Кок-оолович
Количество страниц
Год
2013
Новостной блок
Модули для Opencart 2, Опенкарт 3