Farid Ablaev's talk, part 3
Workshop on Computational, Descriptive and Proof Complexity, and Algorithms, Independent University of Moscow, Russia, August 29–31, 2007
Название:
Farid Ablaev's talk, part 3
Категория:
ОбучениеWorkshop on Computational, Descriptive and Proof Complexity, and Algorithms, Independent University of Moscow, Russia, August 29–31, 2007
Название:
Farid Ablaev's talk, part 3
Категория:
Обучение