【相似文獻】

相關期刊論文 前10條

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

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

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

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

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

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

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

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

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

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

相關會議論文 前10條

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

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

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

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

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

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

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

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

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

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

相關重要報紙文章 前10條

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

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

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

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

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

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

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

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

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

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

相關博士學位論文 前10條

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

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

3 陳書義;面向融合的移動通信網絡安全關鍵技術研究[D];東北大學;2009年

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

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

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

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

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

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

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

相關碩士學位論文 前10條

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

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

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

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

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

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

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

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

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

10 胡謙謙;Markov邏輯網及其在社會網絡中的應用研究[D];北京交通大學;2010年