Астронет: Семинары Семинар ВМК МГУ "Современные методы и средства моделирования систем обработки и передачи данных" http://variable-stars.ru/db/msg/1184843 |
Семинары |
1.11.2001
Ростислав Яворский (МИАН). Использование интерактивных систем доказательств в задачах верификации.
Поступило: 13 января 2003 5:45Последнее изменение: 13 января 2003 5:45