博士論文
ImageImage

A record calculus with a merge operator

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

A record calculus with a merge operator

Call No. (NDL)
UT51-93-E454
Bibliographic ID of National Diet Library
000000258236
Persistent ID (NDL)
info:ndljp/pid/3091423
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

  • 論文目録

  • Abstract

  • Contents

    p3

  • 1 Introduction.

    p1

  • 1.1 Merge of Functions

    p1

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
博士論文
Author/Editor
立木秀樹 [著]
Author Heading
立木, 秀樹, 1963- ツイキ, ヒデキ, 1963- ( 00823817 )Authorities
Alternative Title
マージオペレータを持つレコード計算 マージ オペレータ オ モツ レコード ケイサン
Degree grantor/type
慶應義塾大学
Date Granted
平成5年1月20日
Date Granted (W3CDTF)
1993
Dissertation Number
乙第2557号
Degree Type
博士 (理学)