電気関係学会九州支部連合大会講演論文集
平成17年度電気関係学会九州支部連合大会（第58回連合大会）講演論文集
セッションID: 13-1A-01
会議情報

主催: 電気関係学会九州支部連合会

汎用自動証明システムのWebアプリケーションとしての再構築
尹 淑萍, 山田 敬三, 原尾 政輝, 平田 耕一
著者情報
キーワード: 人工知能, 情報基礎論, 計算機ソフトウェア
会議録・要旨集 フリー

詳細
PDFをダウンロード (53K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2005 電気関係学会九州支部連合大会委員会
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top