K. Miyazawa, K. Okano, and S. Kusumoto, "Lasp - a Learning Assistant System for Formal Proof," In International Workshop on INformatics, IWIN 2011, pp. 158-165 September 2011.
ID 175
分類 国際会議
タグ assistant formal lasp learning proof system
表題 (title) Lasp - a Learning Assistant System for Formal Proof
表題 (英文)
著者名 (author) Kiyoyuki Miyazawa, Kozo Okano,Shinji Kusumoto
英文著者名 (author) Kiyoyuki Miyazawa, Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Kiyoyuki Miyazawa, Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) International Workshop on INformatics, IWIN 2011
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 158-165
組織名 (organization)
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2011
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)
論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id175,
         title = {LASP - a Learning Assistant System for Formal Proof},
        author = {Kiyoyuki Miyazawa and  Kozo Okano and Shinji Kusumoto},
     booktitle = {International Workshop on INformatics, IWIN 2011},
         pages = {158-165},
         month = {9},
          year = {2011},
}