検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / Peter E. Lauer (ed.) T2 Lecture notes in computer science A1 Lauer, Peter E., 1934- YR 1993 FD c1993 SP x, 398 p. K1 Electronic digital computers -- Programming -- Congresses K1 Functional programming (Computer science) -- Congresses K1 Parallel programming (Computer science) -- Congresses K1 Automatic theorem proving -- Congresses K1 Computer simulation -- Congresses PB Springer-Verlag PP Berlin ; New York SN 3540568832 LA English (英語) CL LCC:QA76.62 NO Includes bibliographical references NO 書誌ID=1000656925; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000656925 OL 30