|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Proceedings of the 3rd UK Workshop on AI in Educationсборник
- Год издания: 2007
- Место издания: Cambridge
- Добавил в систему: Корухова Юлия Станиславовна
Статьи, опубликованные в сборнике
-
- 2007 Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoning
- Korukhova Yulia
- в сборнике Proceedings of the 3rd UK Workshop on AI in Education, место издания Cambridge, с. 17-21