Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
сборник
Члены редколлегии:
Григорьев О.М.
,
Маркин В.И.
,
Карпенко А.С.
,
Зайцев Д.В.
Год издания:
2013
Серия:
Смирновские чтения по логике
Место издания:
Современные тетради Москва
Сборник тезисов
Добавил в систему:
Маркин Владимир Ильич
Статьи, опубликованные в сборнике
Страницы: << предыдущая
следующая >>
2013
A Tableau Calculus for a Logic of Two-Component Truth
Григорьев О.М.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 46-48
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Generalisation of Kalmar's method for quasimatrix logic Sr
Ivlev Yu V.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 13-15
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Logical Pluralism and Algebraic Systems
Vasyukov V.L.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 10-11
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
On an application of the paracomplete model set
Bolotov A.E.
,
Shangin V.O.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 9-10
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
RS Logic as an Epistemic Logic
Зайцев Д.В.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 51-52
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
the paradoxical logic of scientific knowledge
sokuler z.a.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 148-149
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Аppellatio rationis Буридана и интенсиональное употребление именующих выражений
Попов О.В.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 110-113
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
О некоторых семиотических новациях "Немецкой алгебры" Иоганна Рана
Шиян Т.А.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 122-123
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
О свойстве отделимости в классической пропозициональной логике
Хаханян Валерий Христофорович
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 38-39
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
2013
Об одном способе проверки булевых функций, заданных полиномиально, на шефферовость
Красненкова А.В.
в сборнике
Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
, серия
Смирновские чтения по логике
, место издания
Современные тетради Москва
, тезисы, с. 22-24
редакторы
Григорьев Олег Михайлович
,
Зайцев Дмитрий Владимирович
,
Карпенко Александр Степанович
,
Маркин Владимир Ильич
Страницы: << предыдущая
следующая >>