限制條件下的幾何自動(dòng)推理及應(yīng)用研究.pdf

1、限制條件下的幾何自動(dòng)推理及應(yīng)用研究論文作者：指導(dǎo)教師：專業(yè)名稱：研究方向：葛強(qiáng)張景中教育技術(shù)學(xué)教育信息技術(shù)理論、方法與實(shí)現(xiàn)華中師范大學(xué)國(guó)家數(shù)字化學(xué)習(xí)工程技術(shù)研究中心⑨博士學(xué)位論文D()(：TOI認(rèn)I。I)ISSERrIATlON華中師范大學(xué)學(xué)位論文原創(chuàng)性聲明乖使用授權(quán)說(shuō)明原創(chuàng)性聲明本人鄭重聲明：所呈交的學(xué)位論文，是本人在導(dǎo)師指導(dǎo)下，獨(dú)立進(jìn)行研究工作所取得的研究成果。除文中已經(jīng)標(biāo)明引用的內(nèi)容外，本論文不包含任何其他個(gè)人或集體已經(jīng)發(fā)表或撰寫

2、過(guò)的研究成果。對(duì)本文的研究做出貢獻(xiàn)的個(gè)人和集體，均已在文中以明確方式標(biāo)明。本聲明的法律結(jié)果由本人承擔(dān)?！?吻作者簽名：j細(xì)虧欽日期：如f／年ff月2乍日學(xué)位論文版權(quán)使用授權(quán)書學(xué)位論文作者完全了解華中師范大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識(shí)產(chǎn)權(quán)單位屬華中師范大學(xué)。學(xué)校有權(quán)保留并向國(guó)家有關(guān)部門或機(jī)構(gòu)送交論文的復(fù)印件和電子版，允許學(xué)位論文被查閱和借閱；學(xué)?？梢怨紝W(xué)位論文的全部或部分內(nèi)容，可以允許采用影印

3、、縮印或其它復(fù)制手段保存、匯編學(xué)位論文。(保密的學(xué)位論文在解密后遵守此規(guī)定)保密論文注釋：本學(xué)位論文屬于保密，在——年解密后適用本授權(quán)書。非保密論文注釋：本學(xué)位論文不屬于保密范圍，適用本授權(quán)書。作者簽名：葛弓磊日期：加『『年t1月工c7日導(dǎo)師簽名：日期：日本人已經(jīng)認(rèn)真閱讀“CALIS高校學(xué)位論文全文數(shù)據(jù)庫(kù)發(fā)布章程“，同意將本人的學(xué)位論文提交“CALIS高校學(xué)位論文全文數(shù)據(jù)庫(kù)”中全文發(fā)布，并可按“章程”中的規(guī)定享受相關(guān)權(quán)益。園童途塞握變壓