検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : proceedings / John Gallagher, ed T2 Lecture notes in computer science A1 International Workshop on Logic Program Synthesis and Transformation A1 Gallagher, John (John P.) YR 1997 FD c1997 SP vi, 324 p. K1 Logic programming (Computer science) -- Congresses PB Springer PP New York SN 3540627189 LA English (英語) CL LCC:QA76.63 CL DC21:005.1/15 NO Includes bibliographical references and index NO 書誌ID=1000661039; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000661039 OL 30