検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic-based program synthesis and transformation : 8th international workshop, LOPSTR '98, Manchester, UK, June 15-19, 1998 : selected papers / Pierre Flener (ed.) T2 Lecture notes in computer science A1 *~International Workshop on Logic-Based Program Synthesis and Transformation (8th : 1998 : Manchester, England) A1 Flener, Pierre, 1964- YR 1999 FD c1999 SP x, 330 p. K1 Logic programming Congresses PB Springer PP Berlin ; Tokyo SN 3540657657 LA English (英語) CL LCC:QA76.63 CL DC21:005.1/15 NO Includes bibliographical references and index NO 書誌ID=0219012160; NCID=BA40833162; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/0219012160 OL 30