/
プログラム
/
発表一覧
/
著者一覧
/
企業展示一覧
/
jsai2011ホーム
/
鈴木 健士郎
氏名
鈴木 健士郎
ふりがな
すずき けんしろう
所属
山梨大学大学院医学工学総合教育部コンピュータ・メディア工学専攻
発表リスト
06月03日(Fri) 08:50〜12:05 J会場(30名-学習室5(県大7F))
題目
3J1-OS7-8 SOLタブロー計算法に基づく命題論理の充足可能性判定器の実現
著者
鈴木 健士郎
鍋島 英知
論文
PDFファイル