検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Lectures on proof verification and approximation algorithms / Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.) T2 Lecture notes in computer science A1 Mayr, Ernst W. A1 Prömel, H. J. A1 Steger, Angelika YR 1998 FD c1998 SP xii, 344 p. K1 Automatic theorem proving K1 Computer algorithms K1 Approximation theory PB Springer PP Berlin ; Tokyo SN 3540642013 LA English (英語) CL LCC:QA76.9.A96 CL DC21:005.1/4 NO Includes bibliographical references (p. [325]-334) and indexes NO 書誌ID=1000558609; NCID=BA34927465; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000558609 OL 30