提示
段振华
-
82浏览
-
0点赞
-
0收藏
-
0分享
-
97下载
-
0评论
-
引用
期刊论文
Projection in Temporal Logic Programming*
，-0001，（）：
摘要/描述
We define a projection operator in the framework of the temporal logic programming. Its syntax and semantics are presented and illustrated with examples. We also discuss the implementation details of the projection construct.
【免责声明】以下全部内容由[段振华]上传于[2005年10月13日 23时44分26秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
