Seminary

Seminar VMK MGU "Sovremennye metody i sredstva modelirovaniya sistem obrabotki i peredachi dannyh"
1.11.2001

Rostislav Yavorskii (MIAN). Ispol'zovanie interaktivnyh sistem dokazatel'stv v zadachah verifikacii.

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

Postupilo: 13 yanvarya 2003 5:45
Poslednee izmenenie: 13 yanvarya 2003 5:45