学位論文

• Studies on Implications and Sequent Calculi for Quantum Logic,  Thesis,  Doctor (Science),  Tokyo Institute of Technology,  2018/09/20,   
• 量子論理における含意とシークエント計算の研究,  論文要旨,  博士(理学),  東京工業大学,  2018/09/20,   
• Studies on Implications and Sequent Calculi for Quantum Logic,  Exam Summary,  Doctor (Science),  Tokyo Institute of Technology,  2018/09/20,   

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]