検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds.) T2 Lecture notes in computer science A1 CCA A1 Blanck, Jens, 1966- A1 Brattka, Vasco, 1966- A1 Hertling, Peter, 1965- YR 2001 FD c2001 SP viii, 393 p. K1 Computer science -- Congresses K1 Computer complexity -- Congresses K1 Mathematical analysis -- Congresses K1 Computable functions -- Congresses K1 Computational complexity -- Congresses PB Springer PP Berlin SN 3540421971 LA English (英語) CL LCC:QA299.6 NO Includes bibliographies and index NO 書誌ID=1001277959; NCID=BA52209940; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001277959 OL 30