数理論理学の形式証明に対する学習支援システムの試作と評価

宮澤, 清介; 岡野, 浩三; 楠本, 真二

平成22年度情報処理学会関西支部支部大会講演論文集, 2010, 2010

アクセス数:5512025-07-12 23:19 集計

固定URL: https://hdl.handle.net/11094/50254

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IPSJ-Kansai2010039 pdf なし 958 KB 115 2014.10.01 出版社版/publisher  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
著者
抄録
出版者
収録物名
巻(号)
刊行年月
言語
ハンドルURL
アクセス権
権利情報
出版タイプ
カテゴリ