TY - BOOK AU - Workshop on Computer Science Logic AU - European Association for Computer Science Logic AU - Clote, Peter AU - Schwichtenberg, Helmut TI - Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings PB - Springer PY - 2000 T2 - Lecture notes in computer science VL - 1862 EP - xiii, 541 p. UR - https://ci.nii.ac.jp/ncid/BA47962265 SN - 3540678956 ER -
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル