|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Арифметическая сложность предикатных логик доказуемостистатья
- Автор: Варданян Валерий Арамович
- Журнал: Доклады АН СССР
- Том: 288
- Номер: 1
- Год издания: 1986
- Первая страница: 11
- Последняя страница: 14
- Добавил в систему: Золин Евгений Евгеньевич