论文部分内容阅读
数学机械化与自动推理平台
【出 处】
：
中国科学院院刊
【发表日期】
：
2002年2期
其他文献
【裁判要旨】先租先得是小区共有车位分配使用的一种常见模式。在这一模式下,租赁使用车位在先的业主取得对车位的优先承租权,可以持续地向物业公司要求续租车位,直至其抛弃
教育改革以来,教师需更新自身教育观念以适应素质教育的需要,将传统的师生关系从以教师为中心转化为以学生为中心。而建构主义倡导以学生为中心,强调学习是学生主动建构的过
心智模型是个体在认知学习或回答、解决问题时所产生的对外部世界的动态表征,它扎根于我们的内心深处,个体描述、解释或者是预测外在事物时也会受到其影响。心智模型的研究是
市场经济,流通的重要性,农民深有感受。农业要稳定、要发展,仅靠农民千家万户分散地走向市场还不行,农民必须具有市场主体意识和市场谈判地位。农民只有在争当市场主角的过程
随着我国建筑产业的迅速发展，在湿陷性黄土地区兴建各种建筑物就成为了必然趋势。选择一个相对较优的地基处理方案对于整个工程就显得尤为重要。湿陷性黄土地区建筑物地基处理
<正> 为借鉴日本农业现代化建设的经验,研究我省如何率先基本实现农业现代化问题,以省委副书记许仲林为团长的江苏省农业代表团一行6人,于1998年10月下旬赴日本福冈、爱知县
随着实验室建设的步伐不断加快,实验室建设管理工作责任重大,如何提高实验室建设管理水平是高校实验室建设管理部门亟待解决的问题。通过对该校教学实验室建设管理引入项目管
电子元件及芯片种类的多样化和集成化导致芯片之间需要频繁的通信,芯片之间的通信也是电子信息科学与技术发展的必然方向,而通信就必然会涉及协议,也就是通信的数据的格式,就
青年网络语言的发展历程与时代环境的变化相呼应,与青年群体主体性的成长和彰显相契合。文章以青年网络语言的变迁为线索,通过对青年网络语言的发展脉络、社会影响、现象与本