Axiomatizing Hybrid Product : How Can We Reason Many-dimensi onally in Hybrid Logic?
Axiomatizing Hybrid Product : How Can We Reason Many-dimensi onally in Hybrid Logic?
复制标题
公理化混合产品：我们如何在混合逻辑中进行多维推理？
DOI：
--
复制
发表时间：
2009
影响因子：
1
通讯作者：
Katshiko Sano
中科院分区：
文献类型：
--
作者：
Katsuhiko Sano;Minghui Ma;Katshiko Sano;Katshiko Sano;Katshiko Sano
