Top > Back > 著書 の検索結果 2 件中 1‐2 件目
| Exploring Negation, Modality and Proof |
| [ 全著者名 ] Katsuhiko Sano, Ryo Hatano, Hiroakira Ono |
| [ 発行所等 ] Springer Singapore |
| [ 発行日付 ] 2026年 4月 |
| Linear Algebraic Semantics for Modal Logic of Multi-agent Communication |
| [ 全著者名 ] Ryo Hatano |
| [ 発行所等 ] 北陸先端科学技術大学院大学 |
| [ 発行日付 ] 2017年 3月 |
Previous
|
1
|
Next
