1
出版事項 2008
目次: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
全文の入手
電子媒体 eBook