検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.) T2 Lecture notes in computer science A1 Hanus, Michael A1 Rodríguez Artalejo, M. (Mario) A1 International Conference on Algebraic and Logic Programming YR 1996 FD c1996 SP viii, 344 p. K1 Logic programming -- Congresses K1 Algebraic logic -- Congresses PB Springer PP Berlin SN 3540617353 LA English (英語) CL LCC:QA76.6 CL DC20:005.13/1 NO Includes bibliographical references NO 書誌ID=1000543578; NCID=BA2838791X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000543578 OL 30