Вы здесь

09.00.07 - Логика

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