Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ФНКЦ РР
Главная
Поиск
Статистика
О проекте
Помощь
Сложность вычислений и прикладная математическая логика
сборник
Член редколлегии:
Адян С.И.
Год издания:
1988
Серия:
Вопросы кибернетики
Том:
134
Место издания:
Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
Добавил в систему:
Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
1988
О логиках, имеющих доказуемостную интерпретацию
Артемов С.Н.
в сборнике
Сложность вычислений и прикладная математическая логика
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
, том 134, с. 5-22
редактор
Адян Сергей Иванович
1988
Разрешимые обогащения структур
Сопрунов Сергей Федорович
в сборнике
Сложность вычислений и прикладная математическая логика
, серия
Вопросы кибернетики
, место издания
Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
, том 134, с. 175-179
редактор
Адян Сергей Иванович