端山毅: "様相記号統一化による様相論理定理証明器における自己代入の利用" コンピュータソフトウェア. Vol.10,No.3. 68-88 (1993)
端山毅: "様相記号統一化による様相論理定理証明器における自己代入の利用" コンピュータソフトウェア. Vol.10,No.3. 68-88 (1993)
复制标题
Takeshi Hatanyama：“通过统一模态符号在模态逻辑定理证明中使用自替换”计算机软件，第 10 卷，第 68-88 期。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
