自動定理証明と論理プログラミングへの線型理論のいくつかの応用
Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
論文要旨
p1
目次
1 はじめに
p1
1.1 線型論理とは
p1
1.2 線型シーケント計算
p2
Search by Bookstore
Read in Disability Resources
- Mina Search
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Title Transcription
- ジドウ テイリ ショウメイ ト ロンリ プログラミング エノ センケイ リロン ノ イクツカ ノ オウヨウ
- Author/Editor
- 松岡聡 [著]
- Author Heading
- 松岡, 聡 マツオカ, サトシ
- Degree grantor/type
- 名古屋工業大学
- Date Granted
- 平成12年3月23日
- Date Granted (W3CDTF)
- 2000
- Dissertation Number
- 甲第307号
- Degree Type
- 博士 (工学)