【相似文獻】

相關(guān)期刊論文 前10條

1 張家龍;;從言模態(tài)和從物模態(tài)的聯(lián)系、區(qū)別及其哲學(xué)意義[J];云南師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2010年01期

2 熊維俊;;事件域認(rèn)知模型(ECM)視角下的語篇連貫[J];湖南科技學(xué)院學(xué)報;2010年02期

3 吳新民;;哲學(xué)邏輯的時態(tài)命題與模態(tài)命題關(guān)系論析[J];人文雜志;2010年02期

4 余多星;王增福;;克里普克本質(zhì)主義思想述評[J];理論界;2010年03期

5 雒自新;;“知道者悖論”的一個新變體[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2010年03期

6 魏燕俠;;“邏輯”的四重根——評“邏輯可修正論”[J];哲學(xué)動態(tài);2010年02期

7 周禎祥;;巴坎公式和自由邏輯[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2010年04期

8 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學(xué)學(xué)報(社會科學(xué)版);2010年04期

9 鄭笠;;天人分野中莊子“自然”與“自由”邏輯的多重悖論[J];閩江學(xué)院學(xué)報;2010年03期

10 朱建平;;模態(tài)邏輯語義學(xué)在語言學(xué)語義學(xué)中的應(yīng)用[J];佳木斯大學(xué)社會科學(xué)學(xué)報;2010年02期

相關(guān)會議論文 前10條

1 薛振偉;吳志杰;;一個典型的MDA軟件開發(fā)過程[A];中國工程物理研究院科技年報(2008年版)[C];2009年

2 陳鳳欽;余春艷;何曉升;;一種企業(yè)資源自由競爭人工模型的研究[A];2009系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)會議論文集[C];2009年

3 王翠茹;辛銳;韓曉娜;;基于本體的電網(wǎng)調(diào)度系統(tǒng)知識表示的研究[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會通信與信息技術(shù)會議論文集（上冊）[C];2008年

4 李辛鶴;鄭康鋒;楊義先;;一種高效的網(wǎng)絡(luò)物理拓?fù)浒l(fā)現(xiàn)方法[A];中國電子學(xué)會第十五屆信息論學(xué)術(shù)年會暨第一屆全國網(wǎng)絡(luò)編碼學(xué)術(shù)年會論文集（上冊）[C];2008年

5 王萬寶;付志紅;蘇向豐;;三相電壓型SVPWM整流器離散域控制模型的構(gòu)建[A];四川省電工技術(shù)學(xué)會第九屆學(xué)術(shù)年會論文集[C];2008年

6 宋銳;林鴻飛;常富洋;;中文比較句識別及比較關(guān)系抽取[A];第四屆全國信息檢索與內(nèi)容安全學(xué)術(shù)會議論文集（上）[C];2008年

7 朱輝;李暉;楊加喜;王育民;;一種可證明安全的通用多信任域認(rèn)證協(xié)議[A];第三屆中國可信計算與信息安全學(xué)術(shù)會議論文集（3）[C];2008年

8 陳其樓;潘正華;;謂詞邏輯中有關(guān)函數(shù)及其部分性質(zhì)的形式描述[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會議論文集[C];2008年

9 王浩暢;趙鐵軍;李艷;;生物醫(yī)學(xué)命名實體識別的特征選取與評價[A];內(nèi)容計算的研究與應(yīng)用前沿——第九屆全國計算語言學(xué)學(xué)術(shù)會議論文集[C];2007年

10 吳寶棟;楊志豪;林鴻飛;;生物醫(yī)學(xué)文獻中的蛋白質(zhì)相互作用關(guān)系抽取系統(tǒng)[A];內(nèi)容計算的研究與應(yīng)用前沿——第九屆全國計算語言學(xué)學(xué)術(shù)會議論文集[C];2007年

相關(guān)重要報紙文章 前10條

1 鄒大斌;讓IT跟上業(yè)務(wù)的變化[N];計算機世界;2007年

2 謝濤;疏通人才瓶頸 BEA力推SOA for Architects[N];電腦商報;2007年

3 劉衛(wèi);對恢復(fù)海域原狀的理解與適用[N];中國海洋報;2006年

4 BEA公司;四問SOA應(yīng)用[N];中國計算機報;2006年

5 　侯闖 策劃 沈建苗 編譯;EJB 3.0的三大類型[N];計算機世界;2006年

6 劉麗華 金水高 胡凱 梁子柱;國際主流衛(wèi)生信息模型一覽[N];計算機世界;2006年

7 訪談專家：朱小勇（黃河水利委員會水土保持局） 王光謙（清華大學(xué)水沙科學(xué)教育部重點實驗室） 王軍良（黃河勘測規(guī)劃設(shè)計有限公司）;運用數(shù)字手段破解黃河疑難問題[N];中國水利報;2005年

8 本報記者 楊墨;改變現(xiàn)有灌溉方式 中國能養(yǎng)活13億到20億人口[N];第一財經(jīng)日報;2005年

9 李巍;SOA：企業(yè)IT建設(shè)的新趨勢[N];中國計算機報;2005年

10 饒振華;院士鎢都說鎢業(yè)[N];中國有色金屬報;2005年

相關(guān)博士學(xué)位論文 前10條

1 趙密;近場波動有限元模擬的應(yīng)力型時域人工邊界條件及其應(yīng)用[D];北京工業(yè)大學(xué);2009年

2 王航贊;邁克爾·達米特的語義學(xué)思想研究[D];山西大學(xué);2009年

3 陳書義;面向融合的移動通信網(wǎng)絡(luò)安全關(guān)鍵技術(shù)研究[D];東北大學(xué);2009年

4 孫廣路;基于統(tǒng)計學(xué)習(xí)的中文組塊分析技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2008年

5 孫承杰;基于判別式模型的生物醫(yī)學(xué)文本挖掘相關(guān)問題研究[D];哈爾濱工業(yè)大學(xué);2008年

6 趙雷;域數(shù)據(jù)模型的研究與實現(xiàn)[D];蘇州大學(xué);2006年

7 劉宇紅;認(rèn)知語言學(xué)視野中的指稱解讀：限定名詞詞組的外指與前指研究[D];復(fù)旦大學(xué);2003年

8 王程;SAR圖像相干斑抑制和光學(xué)圖像序列超分辨率技術(shù)研究[D];中國人民解放軍國防科學(xué)技術(shù)大學(xué);2002年

9 李益發(fā);密碼協(xié)議安全性分析中的邏輯化方法——一種新的BAN類邏輯[D];解放軍信息工程大學(xué);2001年

10 王錦;基于域分析的CAPP軟件體系結(jié)構(gòu)[D];西北工業(yè)大學(xué);2001年

相關(guān)碩士學(xué)位論文 前10條

1 陳琳琳;論古德曼新歸納之謎[D];燕山大學(xué);2010年

2 張法清;馮·賴特道義邏輯研究[D];西南大學(xué);2010年

3 桑丘;智能體行動推理中的信念改變的研究[D];江蘇大學(xué);2010年

4 朱會娟;基于知識的狀態(tài)演算的研究與實現(xiàn)[D];江蘇大學(xué);2010年

5 張之帆;基于應(yīng)用程序合法作用域的入侵檢測技術(shù)的研究與實現(xiàn)[D];東華大學(xué);2010年

6 李曉聰;基于模型檢測的空間訪問控制系統(tǒng)規(guī)則驗證[D];江蘇大學(xué);2010年

7 王世東;蒯因本體論思想探析[D];西南大學(xué);2010年

8 薛祥軍;基于用例驅(qū)動礦業(yè)權(quán)實地核查數(shù)據(jù)采集系統(tǒng)的設(shè)計與實現(xiàn)[D];吉林大學(xué);2010年

9 馬寧馨;論偵查假設(shè)中的邏輯可能[D];西南政法大學(xué);2010年

10 胡謙謙;Markov邏輯網(wǎng)及其在社會網(wǎng)絡(luò)中的應(yīng)用研究[D];北京交通大學(xué);2010年