Вы здесь

Главная » Каталог » Диссертации » 09 - Философские науки » 09.00.07 - Логика

09.00.07 - Логика

Название диссертации Автор Год Цена Додати в кошик
Автоматический поиск натурального вывода в классической логике предикатов Шангин Василий Олегович 2004 179 грн
Добавить в корзину
Алгоритм поиска вывода для систем негативной силлогистики Красненкова Анастасия Владимировна 2009 179 грн
Добавить в корзину
Алгоритм поиска натурального вывода для интуиционистской логики высказываний Макаров Валентин Валентинович 2002 179 грн
Добавить в корзину
Анализ контрфактических высказываний в логике и искусственном интеллекте Фролова Алла Борисовна 1999 179 грн
Добавить в корзину
Аналитико-табличная формализация систем временной логики Григорьев Олег Михайлович 2004 179 грн
Добавить в корзину
Бивалентные семантики Преловский Николай Николаевич 2011 179 грн
Добавить в корзину
Бивалентные семантики : логико-философские аспекты Преловский Николай Николаевич 2011 179 грн
Добавить в корзину
Вклад С. Лесневского в формирование семантики Агапов Евгений Петрович 1984 179 грн
Добавить в корзину
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков Бирюков Александр Викторович 1999 179 грн
Добавить в корзину
Действия и нормы Курбатов Владимир Иванович 1983 179 грн
Добавить в корзину