论文研究 Semantics of Framed Temporal Logic Programs.pdf 上传者：Xieminsen 2020-07-17 01:43:43上传 PDF文件 1.03MB 热度 33次 框架时序逻辑程序语义，段振华，杨潇潇，本文研究框架时序逻辑程序的语义。为此介绍了投影时序逻辑和该逻辑下的可执行子集，在该语言的基础上，引入了框架技术。非框架程 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
