|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Using Parallel Computations in Deductive Synthesis of Functional Programsстатья
- Авторы: Korukhova Yulia, Fastovets Nikolay
- Сборник: Scientific Computing: Proceedings of the International Eugene Lawler PhD School
- Год издания: 2010
- Место издания: Waterford Institute of Technology Ireland
- Первая страница: 67
- Последняя страница: 72
- Добавил в систему: Корухова Юлия Станиславовна