検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Constraints in computational logics : First International Conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / Jean-Pierre Jouannaud (ed.) T2 Lecture notes in computer science A1 Jouannaud, Jean-Pierre A1 CCL YR 1994 FD c1994 SP viii, 367 p. PB Springer-Verlag PP Berlin ; New York SN 354058403X LA English (英語) CL LCC:QA267 CL DC19:511.3 NO Includes bibliographical references NO 書誌ID=1000504050; NCID=BA23317291; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1000504050 OL 30