検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic and coalgebraic methods in the mathematics of program construction : international summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures / Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.) T2 Lecture notes in computer science A1 Backhouse, Roland A1 Crole, Roy A1 Gibbons, Jeremy YR 2002 SP xiv, 385 p. K1 Computer programming -- Congresses K1 Computer science -- Mathematics -- Congresses K1 Algebra -- Congresses PB Springer, c2002 PP Berlin ; New York SN 3540436138 LA English (英語) NO Includes bibliographical references and index NO 書誌ID=1001367931; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001367931 OL 30