|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
11-th Workshop on Computer Algebra. Abstracts http://compalg.jinr.ru/Dubna2007/abstracts.htmlсборник
- Год издания: 2007
- Место издания: JINR
- Сборник тезисов
- Добавил в систему: Эльтеков Виталий Анатольевич
Статьи, опубликованные в сборнике
-
- 2007 Planner-B and symbolic transformations in logic
- Eltekov V.A.
- в сборнике 11-th Workshop on Computer Algebra. Abstracts http://compalg.jinr.ru/Dubna2007/abstracts.html, место издания JINR, тезисы, с. 2-2