検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / Jacques Calmet, Carla Limongelli (eds.) T2 Lecture notes in computer science A1 International Symposium on Design and Implementation of Symbolic Computation Systems A1 Calmet, Jacques, 1941- A1 Limongelli, Carla YR 1996 FD c1996 SP ix, 356 p. K1 System design -- Congresses K1 Automatic theorem proving -- Congresses K1 Mathematics -- Data processing -- Congresses PB Springer PP Berlin SN 3540616977 LA English (英語) CL LCC:QA76.9.S88 CL DC20:005.1/31 NO Includes bibliographical references NO 書誌ID=1000543475; NCID=BA28363762; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000543475 OL 30