搜索筛选:
搜索耗时0.0560秒,为你在102,275,373篇论文里面共找到 4,977,748篇文章
发布年度:
[会议论文] 作者：,
来源：null 年份：2017
...
[期刊论文] 作者：Rick Dunham,
来源：北京周报（英文版） 年份：2017
U.S. presidents have vented their frustra-tion at the media for just about as long as the nation has existed. Nothing can now be believed which is seen in a new...
[期刊论文] 作者：By Rick Dunham,
来源：Beijing Review 年份：2017
U.S. presidents have vented their frustration at the media for just about as long as the nation has existed. “Nothing can now be believed which is seen in a newspaper，”Thomas Jefferson， the third pres...
[期刊论文] 作者：Kang ZHOU,Shiwei HE,Rui SONG,W,
来源：黑龙江科技学院学报 年份：2017
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：,
来源：学生导报·东方少年 年份：2017
一、根據背景文章内容选择最恰当的答案 （ ） 1. Where do capsule machine come from？ A. Japan. B. China. C. German. D. Italy. （ ） 2. What do you get from a capsule machine？ A. Coins. B. Gold balls. C. A capsule with s...
[期刊论文] 作者：本刊讯,,
来源：数据分析与知识发现 年份：2017
学术出版公司High Wire Press于近日宣布成功收购Semantico,Semantico是一家为学术出版市场提供技术和服务的私企。这项收购将使得High Wire提高其技术创新能力,团队变得更加...
[期刊论文] 作者：,
来源：null 年份：2017
...
[期刊论文] 作者：,
来源：黑龙江科技学院学报 年份：2017
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：Brendan J Nolan,Mathis Grossmann,
来源：亚洲男性学杂志（英文版） 年份：2017
In a series of randomized controlled trials published in JAMA and JAMA Intern Med,US researchers have examined the effect of testosterone treatment in older men with testosterone levels <275 ng dl?1 on coronary artery plaque volume,1 cognitive function,2...
[期刊论文] 作者：郭倩,
来源：小天使·五年级语数英综合 年份：2017
A Monkey in Empty Talk说空话的猴子...
[会议论文] 作者：Sun Tianyu,Yu Wensheng,
来源：2017中国智能物联系统会议 年份：2017
Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of Choice and Tukey lemma using Coq as an interactive theorem proving tool.The provi...
[期刊论文] 作者：Li Fangfang,,
来源：Beijing Review 年份：2017
A Chinese documentary provides fresh insight into AI and its limitations By Li Fangfang On an extraordinary day in March 2002,from a professor of cybernetics at...
[期刊论文] 作者：Ji Jing,,
来源：Beijing Review 年份：2017
Having recently won 60 consecutive Go games, AlphaG o, the artificial intelligence (AI) program created by Google, has once again raised the question of whether...
[期刊论文] 作者：By Li Fangfang,
来源：Beijing Review 年份：2017
On an extraordinary day in March 2002， from a professor of cybernetics at the University of Reading in England， Kevin Warwick became a cyborg， the tribe of the fi ctional superhero who is half living...
[期刊论文] 作者：Mohamed S. El Naschie,
来源：自然科学期刊(英文) 年份：2017
The present note is basically an announcement of a theoretical and experimental resolution of one of the most basic fundamental problems of physics, namely the...
Mathematical Theorem Machine Proving System Based on Coq -Machine Proving of the Factorization Theor
[会议论文] 作者：SHU Rundong,YU Wensheng,
来源：2017中国智能物联系统会议 年份：2017
The complete machine proving of the Factorization Theorem of Principal Ideal Domain in the abstract algebra is given by using the interactive theorem proving tool Coq.The proof process is done by usin...
[期刊论文] 作者：,
来源：英语文摘 年份：2017
Source:The Atlantic Winner,World Press Photo of the Year for 2017——An Assassination in Turkey:Mevlut Mert Altintas shouts after shooting and killing Andrei Ka...
[期刊论文] 作者：Peng Qu,Jin Yan,You-Hui Zhang,Guang R. Gao,
来源：计算机科学技术学报（英文版） 年份：2017
We have witnessed the tremendous momentum of the second spring of parallel computing in recent years. But, we should remember the low points of the field more t...
[期刊论文] 作者：Zhao Zihan,
来源：中国纺织：英文版 年份：2017
<正>The 21st Ningbo International Fashion Fair(IFFAIR)Press Conference was held on October 18th,2017.The IFFAIR,themed on'Ningbo Fahion,Fashion the World...
[期刊论文] 作者：,
来源：null 年份：2017
...
相关搜索：
