1
Pubblicazione 2008
Sommario: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Testo
Elettronico eBook