2009年應(yīng)用邏輯學(xué)術(shù)會(huì)議綜述
[Abstract]:......
【作者單位】: 燕山大學(xué)文法學(xué)院;中國社會(huì)科學(xué)院哲學(xué)所;
【分類號(hào)】:B812
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 馬鶴鳴;邏輯學(xué)在今天[J];大理學(xué)院學(xué)報(bào);1980年01期
2 李毓英;;簡訊[J];哲學(xué)動(dòng)態(tài);1980年07期
3 王雨田;;弗晰(模糊)邏輯與控制論[J];哲學(xué)動(dòng)態(tài);1980年07期
4 傅季重;;邏輯與法學(xué)[J];學(xué)術(shù)月刊;1980年02期
5 孫顯元;要正確地應(yīng)用邏輯——再評(píng)真理有無階級(jí)性問題的討論[J];安徽師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1981年01期
6 亨利;;文學(xué)作品中的邏輯應(yīng)用[J];青海師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1981年04期
7 李衍華;試論基本邏輯方法在科學(xué)發(fā)現(xiàn)中的作用[J];天津師范大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1982年03期
8 吳家麟;建立法律邏輯學(xué)的必要性及其研究內(nèi)容和方法[J];福建論壇(社科教育版);1982年05期
9 姜成林;;談?wù)勑问竭壿嫭F(xiàn)代化的幾個(gè)問題[J];遼寧大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1982年02期
10 倪鼎夫;;一本有特色的法律邏輯新著——杜汝楫《法律專業(yè)形式邏輯》評(píng)介[J];哲學(xué)動(dòng)態(tài);1983年10期
相關(guān)會(huì)議論文 前10條
1 王雨田;;弗晰(模糊)邏輯及其若干理論問題[A];全國邏輯討論會(huì)論文選集[C];1979年
2 陶文樓;;任何科學(xué)都是應(yīng)用辯證邏輯[A];全國邏輯討論會(huì)論文選集[C];1979年
3 劉培育;;論韓非的“矛盾之說”[A];全國邏輯討論會(huì)論文選集[C];1979年
4 張維真;;試論“基數(shù)量詞”[A];1993年邏輯研究專輯[C];1993年
5 劉鴻鈞;;關(guān)于建構(gòu)法律邏輯的思考[A];1993年邏輯研究專輯[C];1993年
6 王洪;;法律推理與法律邏輯——兼評(píng)道義邏輯的馮·萊特系統(tǒng)和安德森系統(tǒng)[A];1994年邏輯研究專輯[C];1994年
7 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專輯[C];1995年
8 鄒崇理;;《邏輯學(xué)科調(diào)查報(bào)告》編寫動(dòng)態(tài)[A];1995年邏輯研究專輯[C];1995年
9 張仕金;;規(guī)范方陣之商榷[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年
10 耿琳;;問話與答話[A];邏輯今探——中國邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年
相關(guān)重要報(bào)紙文章 前10條
1 一文;構(gòu)建新一代銀行應(yīng)用開發(fā)平臺(tái)[N];金融時(shí)報(bào);2001年
2 ;網(wǎng)絡(luò)化銷售管理系統(tǒng)V2.0[N];中國計(jì)算機(jī)報(bào);2001年
3 本報(bào)記者 段沁萍;用戶身邊的工作小組[N];通信產(chǎn)業(yè)報(bào);2001年
4 黃淼;WTO·菲迪克與eFIDIC[N];中國建設(shè)報(bào);2001年
5 ;微軟數(shù)據(jù)倉庫技術(shù) 幫國信證券挖掘潛力[N];中國計(jì)算機(jī)報(bào);2002年
6 清華大學(xué) 王克宏;變革與突破[N];計(jì)算機(jī)世界;2002年
7 國防科技大學(xué) 王懷民;可成長性:網(wǎng)絡(luò)計(jì)算的基本特征[N];計(jì)算機(jī)世界;2002年
8 中山大學(xué)邏輯與認(rèn)知研究所 熊明輝;邏輯與認(rèn)知[N];社會(huì)科學(xué)報(bào);2002年
9 王順義;防止主訴制運(yùn)作出現(xiàn)偏差[N];檢察日?qǐng)?bào);2003年
10 田曉軍;期證業(yè)務(wù)合作的理論基礎(chǔ)探討(1)[N];期貨日?qǐng)?bào);2003年
相關(guān)博士學(xué)位論文 前2條
1 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會(huì)科學(xué)院研究生院;2001年
2 廖備水;基于PDC-Agent的面向服務(wù)的自治計(jì)算研究[D];浙江大學(xué);2006年
相關(guān)碩士學(xué)位論文 前10條
1 毛守焱;基于消息的分布式應(yīng)用架構(gòu)研究[D];西安電子科技大學(xué);2001年
2 余樂;基于LOTUS DOMINO/NOTES的工作流模型的設(shè)計(jì)與實(shí)現(xiàn)[D];蘇州大學(xué);2002年
3 應(yīng)進(jìn);基于Internet的模具生產(chǎn)管理信息系統(tǒng)研究[D];鄭州大學(xué);2002年
4 肖治;基于J2EE構(gòu)架的文物綜合信息平臺(tái)的研究與應(yīng)用[D];河北工業(yè)大學(xué);2003年
5 何小濤;Entasill企業(yè)集成應(yīng)用平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)[D];四川大學(xué);2003年
6 宋寶利;電力系統(tǒng)負(fù)荷預(yù)測(cè)[D];西安理工大學(xué);2003年
7 王婉玲;馮·賴特行動(dòng)邏輯研究[D];華南師范大學(xué);2004年
8 耿剛;一種基于J2EE平臺(tái)的WEB應(yīng)用框架的設(shè)計(jì)、實(shí)現(xiàn)及應(yīng)用[D];西安電子科技大學(xué);2004年
9 于占福;Linux平臺(tái)下基于矢量格式的WebGIS平臺(tái)的研究與實(shí)現(xiàn)[D];中國科學(xué)院研究生院(遙感應(yīng)用研究所);2004年
10 羅永紅;基于Web Services的信息提供服務(wù)[D];昆明理工大學(xué);2004年
,本文編號(hào):2500984
本文鏈接:http://sikaile.net/shekelunwen/ljx/2500984.html