会议论文《一种N1NF的时态模型的研究》探讨了N1NF（非一阶正规形式）在时态逻辑中的应用与建模方法。该研究旨在通过构建时态模型，提升对复杂时间属性的处理能力，为理论计算机科学中的逻辑推理提供新思路。文章分析了N1NF的特性，并结合时态逻辑框架，提出了一种有效的模型构造方式，具有一定的理论价值和实际意义。
文档为pdf格式，0.25MB，总共4页。
举报
