论文部分内容阅读
一个用于一阶逻辑（FOPC）自动定理证明的新算法
【出 处】
：
计算机杂志
【发表日期】
：
1993年4期
其他文献
随着技术进步的周期缩短、互联网的出现,以高新技术为核心的知识产权保护对既有知识产权法律制度提出了新的要求。反思奇虎360与百度有关知识产权与不正当竞争的争议与裁判结
国家海关总署的统计数据表明,2019年我国出口的各类柑桔数量和金额同2018年相比大都有不同幅度地减少,而进口的各类柑桔果汁数量较2018年大都有不同幅度地增加,柑桔果汁出口
[摘要] 世界农业发展出现许多问题,石油农业遇到不可克服的弊端,适合于发展中国家的替代农业——绿色农业的提出以后由于有障碍落实不够,以十七大“加强能源和生态环境保护,增强可持续发展能力……”为目标,绿色农业的发展要使经济效益、生态效益、社会效益达到协调统一。基于此本文对发展绿色农业的障碍进行分析,提出对策建议,推动绿色农业持续、健康、快速发展。 [关键词] 绿色农业标准体系生产者消费者 一
本案源于许可人和被许可人之间关于用于开发抗癌药物的专利的争议。根据协议条款,除其他许可费之外,被许可人还需要对制成品支付提成许可费。虽然该欧盟专利在1999年已被撤销
一、俄罗斯转型时期权威主义政治的回归权威主义在俄罗斯有着悠久的历史渊源。无论是沙皇时代还是共产党时代，国家权力始终掌握在最高领导人（沙皇、总书记）的手中，国家权威一直是
随着新冠病毒在全球蔓延,菲律宾达沃市工商会(DCCCII)在其第二次会员大会上呼吁工商界促进居民的果蔬消费。DCCCII主席约翰·卡洛·特里亚(John Carlo Tria)在开幕致
文章以中原油田为例，论述了油田企业建立职业化培训模式和实行淘汰制培训管理机制的经验和做法，结合企业培训工作实际，剖析了在职业化培训过程中存在的问题，并对企业如何进一步做
塞尔维亚中部农业区的强降雨和冰雹严重影响了许多蓝莓等果蔬的种植。目前,还不能准确估算这一气象灾害将对6月开始的蓝莓采收造成的损害。据塞尔维亚国家审计机构最高审计局