发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || A resolution method for a non monotonic multimodal logic

[Lecture Notes in Computer Science] Symbolic and Quantitative Approaches to Reasoning and Uncertainty Volume 747 || A resolution method for a non monotonic multimodal logic

Clarke, Michael; Kruse, Rudolf; Moral, Serafín

作者Clarke, Michael; Kruse, Rudolf; Moral, Serafín
文件大小387.04KB
发表时间1993
DOI10.1007/BFb0028208
页码257-264

← 返回【学霸图书馆】主页