Kröger,F。 LAR:算法推理的逻辑。 (英语) Zbl 0347.68016号 学报信息。 8, 243-266 (1977). 页码:−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于2评论引用于10文件 MSC公司: 68号01 软件理论的一般主题 03年10月 经典一阶逻辑 03B45号 模态逻辑(包括规范逻辑) PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger},《信息学报》8,243--266(1977;Zbl 0347.68016) 全文: 内政部