73-19 計算機による定理証明における主題

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1973-10-15

著者

• 天野 真家

  東芝リサーチコンサルティング(株)

関連論文

• 編集にあたって(知能ロボットの技術 : 人工知能からのアプローチ(後編))
• 編集にあたって : 企画方針と概要(知能ロボットの技術:人工知能からのアプローチ(前編))
• 座談会「機械翻訳における中間言語方式をめぐって」 : 1989.5.26 10:00〜12:00 於:オーム社 (「機械翻訳」)
• 編集にあたって(人間支援のための分散リアルタイムネットワーク)
• 知能ロボット : 人工知能研究からの歴史的視点(知能ロボットの技術:人工知能からのアプローチ(前編))
• 専門用語とバグと納期の呪縛(ITルネサンスのために : ヒューマンインタフェースの復権を)
• 編集にあたって(コンピュータが将棋を制する日)
• 編集にあたって(ユビキタスコンピューティングとネットワーク社会の到来に向けて)
• Winny事件を契機に情報処理技術の発展と社会的利益について考えるワークショップ(会議レポート)
• 編集にあたって(自然言語による情報アクセス技術)
• ロボットの多言語使用の課題と現状 : 通訳ロボット(知能ロボットの技術 : 人工知能からのアプローチ(後編))
• ロボットの多言語使用の課題と現状 : 通訳ロボット
• 金出武雄著, 素人のように考え, 玄人として実行する-問題解決のメタ技術-, PHP研究所, 286p., 1,500円(税別), ISBN4-569-62457-X
• 西田豊明(編), エージェントと創るインタラクティブネットワーク, 培風館, 276p., 3,500円(税別), ISBN 4-563-01552-0
• ITルネサンスのために : ヒューマンインタフェースの復権を 真のニーズと思い込みニーズ再論
• ITルネサンスのために : ヒューマンインタフェースの復権を GUIはω不完全? : HIの本質からのアプローチ
• HIは,どのようにして定量的評価可能になるか? : 情報処理学会のホームページ改革活動を題材に(ITルネサンスのために : ヒューマンインタフェースの復権を)
• 高精度GPSの現状
• 新たな概念に対する人間の認知能力 : 操作とコード(ITルネサンスのために : ヒューマンインタフェースの復権を)
• 連載開始にあたって(ITルネサンスのために : ヒューマンインタフェースの復権を)
• 編集にあたって(さまざまな次世代GPS測位方式)
• 編集にあたって(モデリングとツールを駆使したこれからのソフトウェア開発技法 : モデル駆動開発手法を中心として)
• 情報家電時代におけるリムーバブルストレージの役割
• E.Charniak and Y.Wilks著, "Computational Semantics", North-Holland社, A5変形判, 294p, \7,700, 1976
• 73-21 計算機による自然言語処理
• 73-20 画像処理
• 73-19 計算機による定理証明における主題

もっと見る 閉じる

スポンサーリンク