検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.) T2 Lecture notes in computer science A1 Workshop on Computer Science Logic A1 European Association for Computer Science Logic A1 Clote, Peter A1 Schwichtenberg, Helmut, 1942- YR 2000 FD c2000 SP xiii, 541 p. K1 Computer logic -- Congresses PB Springer PP Berlin SN 3540678956 LA English (英語) CL LCC:QA76.9.L63 NO Includes bibliographical references and index NO 書誌ID=1001205137; NCID=BA47962265; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001205137 OL 30