1
Veröffentlicht 2008
Inhaltsangabe: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Volltext
Elektronisch E-Book