|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
10th ESSLLI Student Session конференция
- Охват: Международная
- Даты проведения: 2005
- Место проведения: Heriot-Watt University, Edinburgh, UK
- Добавил в систему: Корухова Юлия Станиславовна
Доклады:
- 2005 An Approach to Automation of Program Synthesis in the Deductive Tableau (Устный)
- Автор: Корухова Ю.С.