検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.) T2 Lecture notes in computer science A1 Eriksson, L.-H. (Lars-Henrik), 1960- A1 Hallnäs, Lars A1 Schroeder-Heister, Peter Joseph, 1953- A1 International Workshop on Extensions of Logic Programming YR 1992 FD c1992 VO : Berlin VO : New York SP 369 p. K1 Logic programming -- Congresses PB Springer-Verlag PP Berlin ; Tokyo SN 354055498X SN 038755498X LA English (英語) CL LCC:QA76.63 CL DC20:005.1 NO Includes bibliographical references NO 書誌ID=1000448516; NCID=BA1439192X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000448516 OL 30