Hokkaido University
|
Library
| HUSCAP
Advanced Search
言語
日本語
English
Home
About HUSCAP
Open Access Policy
Browse by Author
Browse
Communities
& Collections
Scholarly Journals
Theses
Doctoral Dissertations
Listed by Graduate Schools
Conference Procs.
Events
HUSCAP Senior
(in Japanese)
Societies
Downloads (country)
For university staff
How to post your
papers to HUSCAP
Publication of theses
Helpline about
theses publication
Open Archives Compliant
You can search
our collection
also at:
Google
Google Scholar
CiNii
IRDB
OAIster
NDLTD
Hokkaido University Collection of Scholarly and Academic Papers
>
Theses
>
博士 (文学)
>
Proof-Theoretic Study of Distributed Knowledge
Files in This Item:
Ryo_Murai.pdf
649.68 kB
PDF
View/Open
Please use this identifier to cite or link to this item:
https://doi.org/10.14943/doctoral.k15056
Related Items in HUSCAP:
論文内容及び審査の要旨
Proof-Theoretic Study of Distributed Knowledge [an abstract of dissertation and a summary of dissertation review]
Title:
Proof-Theoretic Study of Distributed Knowledge
Other Titles:
分散知識の証明論的研究
Authors:
村井, 涼
Browse this author
Issue Date:
24-Mar-2022
Publisher:
Hokkaido University
Conffering University:
北海道大学
Degree Report Number:
甲第15056号
Degree Level:
博士
Degree Discipline:
文学
Examination Committee Members:
(主査) 准教授 佐野 勝彦, 准教授 宮園 健吾, 教授 大沼 進, 教授 東条 敏 (北陸先端科学技術大学院大学)
Degree Affiliation:
文学院(人文学専攻)
Type:
theses (doctoral)
URI:
http://hdl.handle.net/2115/91036
Appears in Collections:
課程博士 (Doctorate by way of Advanced Course)
>
文学院(Graduate School of Humanities and Human Sciences)
学位論文 (Theses)
>
博士 (文学)
Export metadata:
RefMan RIS
BibTeX
OAI-PMH (
junii2
,
jpcoar_1.0
)
MathJax is now OFF:
Feedback
-
Hokkaido University