世界上第一個數(shù)據(jù)定理證明智能程序?yàn)椋ǎ?/p>

誰是企業(yè)專利戰(zhàn)略研究的最終決策人（）。

2016年在杭州發(fā)布的《二十國集團(tuán)數(shù)字經(jīng)濟(jì)發(fā)展與合作倡議》提出：“互聯(lián)網(wǎng)、云計算、大數(shù)據(jù)、物聯(lián)網(wǎng)、金融科技與其他新的數(shù)字技術(shù)應(yīng)用于信息的采集、存儲、分析和共享過程中，改變了社會互動方式。數(shù)字化、網(wǎng)絡(luò)化、智能化的信息通信技術(shù)使現(xiàn)代經(jīng)濟(jì)活動更加靈活、敏捷、（）?！?/p>

（）也稱為引進(jìn)消化再創(chuàng)新，是指企業(yè)在技術(shù)引進(jìn)基礎(chǔ)上進(jìn)行的，以率先的原始創(chuàng)新者的思路和創(chuàng)新行為為榜樣，以其創(chuàng)新產(chǎn)品為示范，受限于已有的技術(shù)范式，并沿既定技術(shù)軌跡而發(fā)展的技術(shù)創(chuàng)新。

加快構(gòu)建龍頭企業(yè)牽頭、高校院所支撐、各創(chuàng)新主體相互協(xié)同的創(chuàng)新聯(lián)合體，發(fā)展高效強(qiáng)大的（）技術(shù)供給體系，提高科技成果轉(zhuǎn)移轉(zhuǎn)化成效。