Jump to main content

博士論文

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

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

Available in National Diet Library

Find on the publisher's website

NDL Digital Collections

Digital data available

Check on the publisher's website

計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について

Persistent ID (NDL)
info:ndljp/pid/12910470
Material type
博士論文
Author
Marlou Mathilde, Gijzen
Publisher
-
Date granted
2023-03-24
Material Format
Digital
Capacity, size, etc.
-
Degree grantor and degree
北陸先端科学技術大学院大学,博士(情報科学)
View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii ResearchLeave the NDL website. から、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：

Supervisor: 石原 哉先端科学技術研究科博士...

Search by Bookstore

Search by Bookstore

Read this material in an accessible format.

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

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.

Digital

Material Type
博士論文
Title
計算可能性と複雑さに関する研究：ラムダ計算の新しいモデルと有用な情報の定義について
Author/Editor
Marlou Mathilde, Gijzen
Author Heading
Marlou Mathilde, Gijzen
Publication Date
2023-03
Publication Date (W3CDTF)
2023-03
Degree Grantor
北陸先端科学技術大学院大学
Date Granted
2023-03-24
Date Granted (W3CDTF)
2023-03-24
Dissertation Number
甲第1387号