検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic based program synthesis and transformation : 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / Kung-Kiu Lau (ed.) T2 Lecture notes in computer science A1 International Workshop on Logic Program Synthesis and Transformation A1 Lau, K.-K. (Kung-Kiu), 1953- YR 2001 FD c2001 SP viii, 181 p. K1 Logic programming -- Congresses K1 Computer software -- Reliability -- Congresses PB Springer PP Berlin SN 3540421270 LA English (英語) CL LCC:QA76.63 CL DC21:005.1/15 NO Includes bibliographies and index NO 書誌ID=1001271752; NCID=BA51960809; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001271752 OL 30