论文部分内容阅读
一种用描述逻辑刻画多代理系统规约的方法
【出 处】
：
计算机研究与发展
【发表日期】
：
2006年z1期
其他文献
我校是一所百年名校，也是一所寄宿制学校，许多外地学生慕名来到柳高求学。非本地生源的大量引进让学校散发着勃勃生机，充满前进的动力。 这些非本地生源学生异地求学的过程中
改革开放30年的历程充分证明,国有企业只要加强党的建设、强化党的政治领导地位、发挥党组织的政治核心作用和战斗堡垒作用,企业就会发展得好、发展得快、发展得强、发展得健
江苏省作为我国东部经济发达省份内部发展却很不平衡，苏南苏中苏北呈明显梯度差异，其中苏北地区暂时落后，同时临近苏北的上海和苏南地区率先发展起来的同时也面临着土地、劳动力
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
气候变化问题日益突出，正在对人类社会的发展产生深刻影响。2003年，英国首先在《我们能源的未来:创建低碳经济》一书中提出“低碳经济”这一概念，现在低碳经济已作为一种新型的
在经济全球化的今天，国与国之间的经济联系越来越紧密，经济利益或者说经济安全在国家关系中的地位也更加突出。中美两国作为世界上最重要的国家之一，相互的了解、接触以及认识达
本文通过对荣华二采区10
数学新课程标准不仅强调基础知识与基本技能的获得,更强调让学生经历数学知识的形成过程,了解数学的价值,增强运用数学的意识,充分发展学生的情感态度和一般能力。因此,要实
期刊