ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
http://www.computational-logic.org/content/events/iccl-ss-2005/timetable.php?id=24