Сложность вычислений и прикладная математическая логика - сборник | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Сложность вычислений и прикладная математическая логикасборник

Член редколлегии: Адян С.И.
Год издания: 1988
Серия: Вопросы кибернетики
Том: 134
Место издания: Научный совет АН СССР по комплексной проблеме «Кибернетика» Москва
Добавил в систему: Золин Евгений Евгеньевич

Статьи, опубликованные в сборнике

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