1
Julkaistu 2008
Sisällysluettelo: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Hae kokoteksti
Elektroninen E-kirja