博士論文

項書換えに基づく等式システムのための推論技術に関する研究

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

Read via the Internet

Begin reading now

国立国会図書館デジタルコレクション

項書換えに基づく等式システムのための推論技術に関する研究

Call No. (NDL)
UT51-95-M399
Bibliographic ID of National Diet Library
000000285636
Persistent ID (NDL)
info:ndljp/pid/3082810
Material type
博士論文
Author
大須賀昭彦 [著]
Publisher
-
Publication date
-
Material Format
Paper・Digital
Capacity, size, etc.
-
Name of awarding university/degree
早稲田大学,博士 (工学)
View All

Notes on use

Note (General)：

博士論文

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

View materials in accessible formats for people with print disabilities (1Type)

Table of Contents

  • 目次

    p1

  • 第1章 序論

    p1

  • 1.1 本研究の背景と目的

    p2

  • 1.2 本論文の構成

    p6

  • 第2章 等式論理のための証明順序法

    p9

Search by Bookstore

Read in Disability Resources

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.

Paper Digital

Material Type
博士論文
Title
項書換えに基づく等式システムのための推論技術に関する研究
Title Transcription
コウ カキカエ ニ モトズク トウシキ システム ノ タメ ノ スイロン ギジュツ ニ カンスル ケンキュウ
Author/Editor
大須賀昭彦 [著]
Author Heading
大須賀, 昭彦, 1958- オオスガ, アキヒコ, 1958- ( 00681425 )Authorities
Degree grantor/type
早稲田大学
Date Granted
平成7年3月9日
Date Granted (W3CDTF)
1995
Dissertation Number
乙第1084号
Degree Type
博士 (工学)