項書換えに基づく等式システムのための推論技術に関する研究
インターネットで読む
すぐに読む
国立国会図書館デジタルコレクション
書店で探す
障害者向け資料で読む
目次
目次
p1
第1章 序論
p1
1.1 本研究の背景と目的
p2
1.2 本論文の構成
p6
第2章 等式論理のための証明順序法
p9
書店で探す
障害者向け資料で読む
- みなサーチ
- プレーンテキスト
みなサーチに登録・ログインで利用できます
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- コウ カキカエ ニ モトズク トウシキ システム ノ タメ ノ スイロン ギジュツ ニ カンスル ケンキュウ
- 著者・編者
- 大須賀昭彦 [著]
- 著者標目
- 大須賀, 昭彦, 1958- オオスガ, アキヒコ, 1958- ( 00681425 )典拠
- 授与機関名
- 早稲田大学
- 授与年月日
- 平成7年3月9日
- 授与年月日(W3CDTF)
- 1995
- 報告番号
- 乙第1084号
- 学位
- 博士 (工学)