1
Опубликовано 2008
Оглавление: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Полный текст
Электронный ресурс eКнига