1
Wydane 2008
Spis treści: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Dokumenty pełnotekstowe
Elektroniczne E-book