|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Кибернетика и компьютерная технологиясборник
- Год издания: 1986
- Том: 2
- Место издания: Наука Москва
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1986 Разрешающие процедуры для логических теорий
- Семёнов Алексей Львович
- в сборнике Кибернетика и компьютерная технология, место издания Наука Москва, том 2, с. 134-146