Семинары |
1.11.2001
Ростислав Яворский (МИАН). Использование интерактивных систем доказательств в задачах верификации.
Поступило: 13 января 2003 5:45Последнее изменение: 13 января 2003 5:45
Семинары |
Ростислав Яворский (МИАН). Использование интерактивных систем доказательств в задачах верификации.
Поступило: 13 января 2003 5:45Комментарии, вопросы? Пишите: info@astronet.ru или сюда