本文へ移動
博士論文

一階論理上の常識推論とその高速化に関する研究

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

一階論理上の常識推論とその高速化に関する研究

国立国会図書館請求記号
UT51-98-W428
国立国会図書館書誌ID
000000328732
国立国会図書館永続的識別子
info:ndljp/pid/3143542
資料種別
博士論文
著者
太田和彦 [著]
出版者
-
授与年月日
平成10年9月30日
資料形態
紙・デジタル
ページ数・大きさ等
-
授与機関名・学位
山梨大学,博士 (工学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

提供元:国立国会図書館デジタルコレクションヘルプページへのリンク
  • もくじ

    p1

  • 1 はじめに

    p1

  • 2 準備

    p4

  • 3 述語サーカムスクリプションの有限近似法

    p10

  • 3.1 述語サーカムスクリプションを用いた常識推論

    p10

障害者向け資料で読む

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
タイトルよみ
イッカイ ロンリジョウ ノ ジョウシキ スイロン ト ソノ コウソクカ ニ カンスル ケンキュウ
著者・編者
太田和彦 [著]
著者標目
太田, 和彦 オオタ, カズヒコ
授与機関名
山梨大学
授与年月日
平成10年9月30日
授与年月日(W3CDTF)
1998
報告番号
甲第82号
学位
博士 (工学)