検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers / Annalisa Bossi (ed.) T2 Lecture notes in computer science A1 International Workshop on Logic Program Synthesis and Transformation A1 Bossi, Annalisa, 1948- YR 2000 FD c2000 SP viii, 312 p. K1 Logic programming -- Congresses PB Springer PP Berlin SN 3540676287 LA English (英語) CL LCC:QA76.63 NO Includes bibliographical references NO 書誌ID=1001158841; NCID=BA47210113; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001158841 OL 30