博士論文

動的認識論理のラベル付きシークエント計算の研究

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

動的認識論理のラベル付きシークエント計算の研究

Persistent ID (NDL)
info:ndljp/pid/10121283
Material type
博士論文
Author
野村, 尚新
Publisher
-
Publication date
2016-03
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
北陸先端科学技術大学院大学,博士(情報科学)
View All

Notes on use at the National Diet Library

Notes on use

Note (General):

Supervisor:東条 敏情報科学研究科博士...

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
博士論文
Author/Editor
野村, 尚新
Publication Date
2016-03
Publication Date (W3CDTF)
2016-03
Degree grantor/type
北陸先端科学技術大学院大学
Date Granted
2016-03-24
Date Granted (W3CDTF)
2016-03-24
Dissertation Number
甲第906号
Degree Type
博士(情報科学)