検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Frontiers of combining systems : 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : Proceedings / Alessandro Armando (ed.) T2 Lecture notes in computer science A1 International Workshop on Frontiers of Combining Systems A1 Armando, Alessandro YR 2002 FD c2002 SP viii, 254 p. K1 Logic, Symbolic and mathematical -- Congresses K1 Computer science -- Congresses K1 Artificial intelligence -- Congresses PB Springer-Verlag PP Berlin SN 3540433813 LA English (英語) CL LCC:QA9A1 NO Includes bibliographical references and index NO 書誌ID=1001366274; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001366274 OL 30