And the interaction of users and graphic interface is implement using document customization of text discreteness.
本文还利用文本组件的文档定制实现了用户与图形界面的交互,这是本文的创新之处。
参考来源 - ASPPTL established an axiom system that it characterized the properties of time as up-linear,discreteness,seriality,transitivity,and so on. PTL was proved to be sound and complete.
PTL给出了一个表达时间具有向上线性、传递性、持续性和离散性的公理化逻辑系统,并证明了其可靠性和完全性。
参考来源 - 一个向上线序的命题时态逻辑PTL·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐