TY - BOOK AU - 町田, 元 AU - 京都大学数理解析研究所 TI - クローン理論と離散数学 ; 計算機科学をめぐる代数と論理 PB - 京都大学数理解析研究所 PY - 2013 T2 - 数理解析研究所講究録 VL - 1846 EP - ii, 128p UR - https://ci.nii.ac.jp/ncid/BB13621486 ER -
AltStyle
によって変換されたページ
(->オリジナル)
/
アドレス:
モード:
デフォルト
音声ブラウザ
ルビ付き
配色反転
文字拡大
モバイル