王朝网络

分享

 

01.谈以演化计算思想做机器证明与推理的构想[2]
谈以演化计算思想做机器证明与推理的构想 演化证明与推理的操作举例与演化类型的初步划分利其器，自然是为了善其事。现在我们接近了核心的问题，即如何将演化计算的思想应用于机器证明与推理中。我们看几个证明序列的...查看完整版>>谈以演化计算思想做机器证明与推理的构想[2]02.谈以演化计算思想做机器证明与推理的构想[1]
谈以演化计算思想做机器证明与推理的构想-----------说演化证明与推理的可能性 作者：李连华（percylee@126.com）摘要：本文详细讨论由演化计算思想来做机器证明与推理工作的可能性，提出了演化证明与推理的相...查看完整版>>谈以演化计算思想做机器证明与推理的构想[1]03.中西方经济思想的演化及比较研究|报价￥29.60|图书,经济与管理,经济史,综合,陈勇勤
目录：图书,经济与管理,经济史,综合,品牌：陈勇勤基本信息·出版社：中国人民大学出版社·页码：411 页码·出版日：2006年·ISBN：7300072321·条码：9787300072326·版次：2006年4月第1版·装帧：平装·开本：16开 ...查看完整版>>中西方经济思想的演化及比较研究|报价￥29.60|图书,经济与管理,经济史,综合,陈勇勤04.像雪球一样越滚越大 云计算是如何演化?
IBM大中华区云计算中心的项目总监朱近之记得很清楚，2006年12月26日，一个冬日，她随着IBM公司的董事长兼CEO彭明盛，拜访了Google的CEO施密特和十几名工程师。那会，她还在IBM全球高性能解决方案团队工作。“...查看完整版>>像雪球一样越滚越大 云计算是如何演化?05.演化计算（实例：多峰函数最值）
演化计算是基于随即搜索的新算法；它的技术模型源于自然的演化。下面是一个例子，该函数是典型的多峰（震动剧烈）的函数。用的算法是郭涛算法。问题：求函数的最大值 : f(x,y)=21.5+x*sin(4*PI*x)+y*sin(20*PI...查看完整版>>演化计算（实例：多峰函数最值）06.Proof theory in computer science(计算机科学中的证明理论)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,
目录：图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,品牌：基本信息·出版社：Springer; 1 edition·页码：239 页码·出版日：2001年·ISBN：9783540427520·条码：978354042752...查看完整版>>Proof theory in computer science(计算机科学中的证明理论)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,07.Theorem proving in higher order logics(高阶逻辑的定理证明)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,
目录：图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,品牌：基本信息·出版社：Springer; 1 edition·页码：395 页码·出版日：2001年·ISBN：9783540425250·条码：978354042525...查看完整版>>Theorem proving in higher order logics(高阶逻辑的定理证明)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,08.Advances in case-based reasoning(实例推理进展／会议录)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,
目录：图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,品牌：基本信息·出版社：Springer; 1 edition·页码：656 页码·出版日：2002年·ISBN：9783540441090·条码：978354044109...查看完整版>>Advances in case-based reasoning(实例推理进展／会议录)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,09.几何定理计算机证明|报价￥22.70|图书,科学与自然,数学,几何与拓扑,孙熙椿
目录：图书,科学与自然,数学,几何与拓扑,品牌：孙熙椿基本信息·出版社：科学·页码：207 页码·出版日：2007年·ISBN：703015505X·条码：9787030155054·版次：1·装帧：平装·开本：0开 0开...查看完整版>>几何定理计算机证明|报价￥22.70|图书,科学与自然,数学,几何与拓扑,孙熙椿10.RoboCup 2001 (RoboCup 2001：机器人足球世界杯V)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,
目录：图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,品牌：基本信息·出版社：Springer; 1 edition·页码：782 页码·出版日：2002年·ISBN：9783540439127·条码：978354043912...查看完整版>>RoboCup 2001 (RoboCup 2001：机器人足球世界杯V)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。