|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
An Approach to Automation of Program Synthesis in the Deductive Tableauстатья
- Автор: Korukhova Yulia
- Сборник: Proceedings of the 10th ESSLLI Student Session (Heriot-Watt University, Edinburgh)
- Год издания: 2005
- Первая страница: 122
- Последняя страница: 133
- Добавил в систему: Корухова Юлия Станиславовна