|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Using an Automated Synthesis System for Studying Proof Planning and Automated Reasoningдоклад на конференции
- Автор: Корухова Ю.С.
- Международная Конференция : 3rd UK Workshop on AI in Education
- Даты проведения конференции: 2007
- Тип доклада: Устный
- Докладчик: Корухова Ю.С.
- Место проведения: Peterhouse college, Cambridge, UK
- Добавил в систему: Корухова Юлия Станиславовна