Jump to main content

yr 〜
yr

Search results 3

古典論理と直観主義論理における命題結合子に関する研究

古典論理と直観主義論理における命題結合子に関する研究
Digital博士論文障害者向け資料あり
高木, 研斗, Takagi, Kento2022-09
National Diet Library
  • Author Heading高木, 研斗 Takagi, Kento

古典論理と直観主義論理における命題結合子に関する研究

古典論理と直観主義論理における命題結合子に関する研究
Digital博士論文
高木, 研斗, Takagi, Kento2022-09
Available onlineOther Libraries in Japan
  • Author Heading高木, 研斗 Takagi, Kento

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic
Digital文書・図像類
高木, 研斗, Takagi, Kento, 鹿島, 亮, KASHIMA, RYO東京工業大学 情報理工学院 数理・計算科学系2019-04Research Reports on Mathematical and Computing Sciences
Other Libraries in Japan
  • Author Heading高木, 研斗 Takagi, Kento 鹿島, 亮 KASHIMA, ...

Reached to the end of result.

RSS