検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) T2 Lecture notes in computer science A1 Workshop on Computer Science Logic A1 Gottlob, Georg, 1956- A1 Grandjean, E., 1914- A1 Seyr, Katrin YR 1999 FD c1999 SP x, 429 p. K1 Computer logic -- Congresses PB Springer PP Berlin ; New York SN 3540659226 LA English (英語) CL LCC:QA76.9.L63 CL DC21:004/.01/5113 NO Includes bibliographical references and index NO 書誌ID=0219021130; NCID=BA4128155X; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/0219021130 OL 30