検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.) T2 Lecture notes in computer science A1 Workshop on Computer Science Logic A1 European Association for Computer Science Logic A1 Fribourg, Laurent, 1957- YR 2001 FD c2001 SP xii, 614 p. K1 Computer logic -- Congresses PB Springer PP Berlin ; Tokyo SN 3540425543 LA English (英語) CL LCC:QA76.9.L63 NO Includes bibliographical references and index NO 書誌ID=1001313955; NCID=BA53435515; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001313955 OL 30