自動定理証明と論理プログラミングへの線型理論のいくつかの応用

• Material Type: 博士論文
• Title: 自動定理証明と論理プログラミングへの線型理論のいくつかの応用
• Title Transcription: ジドウ テイリ ショウメイ ト ロンリ プログラミング エノ センケイ リロン ノ イクツカ ノ オウヨウ
• Author/Editor: 松岡聡 [著]
• Author Heading: 松岡, 聡 マツオカ, サトシ
• Degree Grantor: 名古屋工業大学
• Date Granted: 平成12年3月23日
• Date Granted (W3CDTF): 2000
• Dissertation Number: 甲第307号
• Degree Type: 博士 (工学)
• Note (Dissertation): 博士論文
• Place of Publication (Country Code): JP
• NDLC: UT51
• Note (General): 博士論文
• Holding library: 国立国会図書館
• Call No.: UT51-2000-E906
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000352199; http://id.ndl.go.jp/bib/000000352199
• Bibliographic Record Category (NDL): 213

• DOI: 10.11501/3167006; https://doi.org/10.11501/3167006
• Persistent ID (NDL): info:ndljp/pid/3167006; https://dl.ndl.go.jp/pid/3167006
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (Materials For Handicapped People:2): プレーンテキスト
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Producer: 国立国会図書館
• Date Accepted (W3CDTF): 2011-12-06T11:33:13+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Call No.: UT51-2000-E906
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

論文要旨

目次

1 はじめに

1.1 線型論理とは

1.2 線型シーケント計算