Семинары |
1.11.2001
Ростислав Яворский (МИАН). Использование интерактивных систем доказательств в задачах верификации.
Поступило: 13 января 2003 5:45Последнее изменение: 13 января 2003 5:45
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.astronet.ru/db/msg/1184843
Дата изменения: Mon Jan 13 05:45:11 2003 Дата индексирования: Tue Oct 2 09:33:18 2012 Кодировка: Windows-1251 Поисковые слова: п п п п п п п п п п п п п п п п п п п п п п п п п п |
Семинары |
Ростислав Яворский (МИАН). Использование интерактивных систем доказательств в задачах верификации.
Поступило: 13 января 2003 5:45Комментарии, вопросы? Пишите: info@astronet.ru или сюда