|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Методы логического анализасборник
- Год издания: 1977
- Место издания: Наука Москва
- Добавил в систему: Попов Владимир Михайлович
Статьи, опубликованные в сборнике
-
- 1977 О разрешимости релевантной системы RA
- Попов В.М.
- в сборнике Методы логического анализа, место издания Наука Москва, с. 109-112