検索結果 - deduction computation programming problems array visual~

提案スペルによる検索:
computation programming » communication programming , computation programmatic , computing programming
deduction computation » prediction computation , detection computational , education computational
problems array » problems ray , problems aripar , problems barrow
array visual » arrays virtual , early visual

1

表紙画像

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

出版事項 2008

目次: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
全文の入手

電子媒体 eBook