宮澤清介, 岡野浩三, 楠本真二, "数理論理学の形式証明に対する学習支援システムの試作と評価," 情報通信学会技術報告, 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},
}