1
Publicerad 2008
Innehållsförteckning: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Hämta fulltext
Elektronisk E-bok