鈴木 康人 | Jaist
スポンサーリンク
概要
関連著者
著作論文
- Speaking about transitive frames in propositional languages(New Aspects in Non-Classical Logics and Their Kripke Semantics)
- The realization of the hybrid multi-modal logic theorem prover in the term rewriting system CafeOBJ