佐藤 哲也  Sato Tetsuya

Artificial Intelligence

巻: 326 ページ: 104045-104045

10.1016/j.artint.2023.104045

Science of Computer Programming

巻: 230 ページ: 102993-102993

10.1016/j.scico.2023.102993

Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

巻: - ページ: 681-696

10.1007/978-3-031-43619-2_46

Mathematical Structures in Computer Science

巻: 33 号: 4-5 ページ: 427-485

10.1017/s0960129523000245

In: Proceedings of the Fourteenth Conference on Interactive Theorem Proving (ITP 2023)

巻: -

Lecture Notes in Computer Science

巻: 13215 ページ: 57-74

10.1007/978-3-030-99461-7_4

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning

巻: － ページ: 411-421

10.24963/kr.2021/39