平成23年度 電気関係学会東北支部連合大会 講演論文集
セッションID: 2D19
会議情報
主催: 電気学会東北支部, 電子情報通信学会東北支部, 照明学会東北支部, 日本音響学会東北支部, 映像情報メディア学会東北支部, 情報処理学会東北支部, 電気設備学会東北支部, IEEE SENDAI SECTION
座長：片山 統裕(東北大学)
項書き換えシステムの到達可能性自動証明法
詳細
記事の1ページ目
