+
Действующая цена700 499 руб.
Товаров:
На сумму:

Электронная библиотека диссертаций

Доставка любой диссертации в формате PDF и WORD за 499 руб. на e-mail - 20 мин. 800 000 наименований диссертаций и авторефератов. Все авторефераты диссертаций - БЕСПЛАТНО

Расширенный поиск
Название работыАвторДата защитыКорзина
Автоматический поиск натурального вывода в классической логике предикатов Шангин, Василий Олегович 2004
Интуиционистская логика и теория множеств Хаханян, Валерий Христофорович 2004
Логико-методологическое исследование происхождения теории поиска вывода Ходикова, Нина Анатольевна 2004
Обоснование дедуктивного подхода в научном объяснении Тарковский, Владимир Николаевич 2003
Расширение выразительных возможностей языка современной логики Яйлеткан, Александр Александрович 2003
Логические идеи И. Канта Михайлов, Кирилл Авенирович 2003
Применение системной модели аргументации к анализу текста Золотов, Эдгар Станиславович 2003
Теория вывода в многозначных логиках Комендантский, Владимир Евгеньевич 2003
Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр Нечитайлов, Юрий Вячеславович 2003
Алгоритм поиска натурального вывода для интуиционистской логики высказываний Макаров, Валентин Валентинович 2002
Учение Аристотеля о модальности Кускова, Светлана Михайловна 2001
Семантики ограниченных множеств описаний состояний Архиереев, Николай Львович 2001
Становление формальных методов в логике отношений Маков, Борис Васильевич 2001
Формирование логического учения о понятии и суждении Назаренко, Павел Анатольевич 2000
Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени Нкодиа Орельен-Серж-Жерве 2000
Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта Павлов, Сергей Афанасьевич 2000
Логико-семиотический анализ сакральных текстов и сакральной коммуникации Гриненко, Галина Валентиновна 2000
Принцип квазифункциональности и нечеткие логики Шалопин, Виктор Валентинович 1999
Логические идеи Э. Гуссерля Зайцева, Наталья Валентиновна 1999
Логико-методологические закономерности качественного анализа слабо структурированных проблем Климов, Евгений Николаевич 1999
Немонотонная логика и проблемы формализации контекста Черноскутов, Юрий Юрьевич 1999
Реконструкция логических систем Н. А. Васильева средствами современной логики Костюк, Тамара Петровна 1999
Логические средства моделирования диалога Болдырев, Андрей Степанович 1999
Анализ контрфактических высказываний в логике и искусственном интеллекте Фролова, Алла Борисовна 1999
Логическая мысль во Франции ХVII - начала ХIХ столетий Бирюкова, Наталья Борисовна 1999
Логико-эпистемологические воззрения Дигнаги и его идейных преемников Заболотных, Элина Леонидовна 1999
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков Бирюков, Александр Викторович 1999
Логические модели представления знаний Милославов, Алексей Сергеевич 1999
Логико-философские принципы прагматики языка : анализ концепции "языковых игр" Л.Витгейнштейна Гончаренко, Марк Васильевич 1999
Формальная феноменология Васюков, Владимир Леонидович 1998
Показано 31 - 60 (всего позиций: 78)
Время генерации: 1.187, запросов: 1462