Поиск книг, содержащих Interactive proof :: Электронная библиотека попечительского совета мехмата МГУ

Мехматянам

Первый курс

square

Второй курс

square

Третий курс

square

Авторизация

Поиск по указателям

Результат поиска

Поиск книг, содержащих: Interactive proof

Книга	Страницы для поиска
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1)	1511, 1631
Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 2)	1511, 1631
Papadimitriou C.H. — Computational Complexity	289
Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137.	550

О проекте