博士論文

並列論理型言語KL1の処理系に関する研究

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

並列論理型言語KL1の処理系に関する研究

Call No. (NDL)
UT51-94-P542
Bibliographic ID of National Diet Library
000000274054
Persistent ID (NDL)
info:ndljp/pid/3095991
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):

博士論文

Table of Contents

  • もくじ

    p5

  • 1 序論

    p1

  • 1.1 本研究の目的

    p1

  • 1.2 本研究の成果

    p1

  • 1.3 本論文の構成

    p4

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 Transcription
ヘイレツ ロンリガタ ゲンゴ KL1 ノ ショリケイ ニ カンスル ケンキュウ
Author/Editor
木村康則 [著]
Author Heading
木村, 康則 キムラ, ヤスノリ
Degree grantor/type
東京大学
Date Granted
平成5年3月18日
Date Granted (W3CDTF)
1993
Dissertation Number
乙第11204号
Degree Type
博士 (工学)