Kusumoto Laboratory: 宮澤清介, 岡野浩三, 楠本真二, フォーマルアプローチの基本技術習得のための学習支援システムの試作, 2009年9月.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
Detail of a work
Tweet
宮澤清介, 岡野浩三, 楠本真二, "フォーマルアプローチの基本技術習得のための学習支援システムの試作," ソフトウェアエンジニアリング最前線2009, pp. 69-74, 2009年9月.
ID 102
分類 国内会議(査読付き)
タグ e-Learning Axiom formal proof
表題 (title) フォーマルアプローチの基本技術習得のための学習支援システムの試作
表題 (英文)
著者名 (author) 宮澤清介,岡野浩三, 楠本真二
英文著者名 (author) Kiyoyuki Miyazawa,Kozo Okano,Shinji Kusumoto
編者名 (editor)
編者名 (英文)
キー (key) Kiyoyuki Miyazawa ,Kozo Okano,Shinji Kusumoto
書籍・会議録表題 (booktitle) ソフトウェアエンジニアリング最前線2009
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 69-74
組織名 (organization) 情報処理学会
出版元 (publisher)
出版元 (英文)
出版社住所 (address)
刊行月 (month) 9
出版年 (year) 2009
採択率 (acceptance)
URL
付加情報 (note)
注釈 (annote)
内容梗概 (abstract)

論文電子ファイル SES2009_MiyazawaKiyoyuki.pdf (application/pdf) [一般閲覧可]
BiBTeXエントリ
@inproceedings{id102,
         title = {フォーマルアプローチの基本技術習得のための学習支援システムの試作},
        author = {宮澤清介 and 岡野浩三 and  楠本真二 },
     booktitle = {ソフトウェアエンジニアリング最前線2009},
         pages = {69-74},
    organization = {情報処理学会},
         month = {9},
          year = {2009},
}
  

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.033791 seconds.