Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
Неклассические логики и их применение
сборник
Год издания:
1982
Серия:
Вопросы кибернетики
Том:
75
Место издания:
Научный совет АН СССР по комплексной проблеме «Кибернетика»
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
1982
Некоторые применения метода рекурсивной реализуемости к интуиционистской теории типов
Шварц Григорий Феликсович
в сборнике
Неклассические логики и их применение
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика»
, том 75, с. 37-54
1982
Неразрешимые исчисления высказываний
Шехтман Валентин Борисович
в сборнике
Неклассические логики и их применение
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика»
, том 75, с. 74-116
1982
О пропозициональных программных логиках
Валиев Марс Котдусович
в сборнике
Неклассические логики и их применение
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика»
, том 75, с. 23-36
1982
Приложения модальной логики в теории доказательств
Артемов С.Н.
в сборнике
Неклассические логики и их применение
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика»
, том 75, с. 3-22