ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ЦЭМИ РАН |
||
В докладе содержится краткое описание системы автоматического создания приемов компьютерного решателя задач.