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