扩充

计算机科学中时态逻辑之发展 本文重点围绕时态逻辑在计算机科学上的应用发展来开展研究，先是从通常逻辑学的维度下探讨时态逻辑语言、解释、各种形式系统及其重要性质，然后主要是站在计算机科学下的视角

2013-12-12