|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Proceedings of the 28-th International Workshop on Unification (UNIF-2014)сборник
- Год издания: 2014
- Серия: RISC-Linz Report Series
- Том: 6
- Место издания: Research Institute for Symbolic Computation, Johanes Kepler University Linz, Austria
- Добавил в систему: Захаров Владимир Анатольевич