Ви є тут

09.00.07 - Логика

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