Kusumoto Laboratory: K. Miyazawa, K. Okano, and S. Kusumoto, Lasp - a Learning Assistant System for Formal Proof, September 2011.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
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},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML

Language: 英語 | 日本語 || ログイン |

This site is maintained by fenrir.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.033398 seconds.