| Tweet | |
| 宮澤清介, 岡野浩三, 楠本真二, "数理論理学の形式証明に対する学習支援システムの試作と評価," 情報通信学会技術報告, 2010年9月. | |
| ID | 142 |
| 分類 | 研究会・全国大会等 |
| タグ | lerning system |
| 表題 (title) |
数理論理学の形式証明に対する学習支援システムの試作と評価 |
| 表題 (英文) |
|
| 著者名 (author) |
宮澤清介,岡野浩三,楠本真二 |
| 英文著者名 (author) |
Kiyoyuki Miyazawa,Kozo Okano,Shinji Kusumoto |
| キー (key) |
Kiyoyuki Miyazawa,Kozo Okano,Shinji Kusumoto |
| 号数 (number) |
|
| 技術報告書の種別 (type) |
|
| 発行元組織 (organization) |
情報通信学会技術報告 |
| 出版社住所 (address) |
|
| 刊行月 (month) |
9 |
| 出版年 (year) |
2010 |
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | desc (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@techreport{id142,
title = {数理論理学の形式証明に対する学習支援システムの試作と評価},
author = {宮澤清介 and 岡野浩三 and 楠本真二},
institution = {情報通信学会技術報告},
month = {9},
year = {2010},
}
|