検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / Manuel Hermenegildo, S. Doaitse Swierstra, (eds.) T2 Lecture notes in computer science A1 International Symposium, PLILP A1 Hermenegildo, Manuel A1 Swierstra, S. Doaitse YR 1995 FD c1995 SP xi, 466 p. K1 Programming languages (Electronic computers) -- Congresses K1 Logic programming -- Congresses PB Springer-Verlag PP Berlin ; New York SN 354060359X LA English (英語) CL LCC:QA76.7 CL DC20:005.13/1 NO Includes bibliographical references and index NO 書誌ID=1000527705; NCID=BA26022013; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000527705 OL 30