Астронет:  Семинары Семинар ВМК МГУ "Современные методы и средства моделирования систем обработки и передачи данных" http://www.astronet.ru/db/msg/1185027

Семинары

Семинар ВМК МГУ "Современные методы и средства моделирования систем обработки и передачи данных"
6.06.2001

Д.Царьков. Символьные методы обработки логических формул.

• http://lvk.cs.msu.su/seminar.html

Поступило: 13 января 2003 5:55
Последнее изменение: 13 января 2003 5:55