検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic program synthesis and transformation : 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / Norbert E. Fuchs (ed.) T2 Lecture notes in computer science A1 International Workshop on Logic Program Synthesis and Transformation A1 Fuchs, N. E. (Norbert E.) YR 1998 FD c1998 SP x, 342 p. K1 Logic programming -- Congresses PB Springer PP Berlin ; Tokyo SN 3540650741 LA English (英語) NO Includes bibliographical references and index NO 書誌ID=1000997407; NCID=BA37846111; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000997407 OL 30