×

找到319个文档（结果1–100）

最新的 引文 关联
阿尔维斯，马科斯·安东尼奥；德奥塔维亚诺，伊塔拉·洛夫雷多

逻辑结果的定量信息方法。 （英语） Zbl 1371.03016号

Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer（ISBN 978-3-319-15367-4/pbk；978-3-316-15368-1/电子书）。《通用逻辑研究》，105-124（2015）。
MSC公司：03B22号 03B53号 03B48号 94甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Alves}和\textit{I.M.L.D'Ottaviano}，《通向普遍逻辑之路》。庆祝Jean-Yves Béziau 50岁生日。第二卷。纽约州纽约市：Birkhäuser/Springer。105-124（2015；Zbl 1371.03016）
全文： DOI程序 链接
叶西卡·纳塔利亚尼；黄朝明；杨敏申

直觉模糊集上的指数型熵测度。 （英语） Zbl 1355.03043号

Rutkowski，Leszek（编辑）等人，《人工智能和软计算》。2015年6月14日至18日在波兰扎科帕内举行的ICAISC 2015第14届国际会议，会议记录。第一部分：查姆：施普林格（ISBN 978-3-319-19323-6/pbk；978-3-316-19324-3/电子书）。计算机科学讲义9119。《人工智能课堂讲稿》，218-227（2015）。
MSC公司：03E72型 94甲17 94D05型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Nataliani}等人，Lect。注释计算。科学。9119、218--227（2015；Zbl 1355.03043）
全文： DOI程序
阿纳辛，V.S。

光滑的有限可计算函数是仿射的，或者为什么量子系统会引起波动。 （英语。俄文原件） 兹比尔1353.68079

多克。数学。 92，编号3，655-657（2015）; 翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 465，No.1，11-13（2015）。
MSC公司：2005年第68季度 03D78号 81S99型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{V.S.Anashin}，多克。数学。92，第3号，655--657（2015；Zbl 1353.68079）；翻译自Dokl。阿卡德。恶心，罗斯。阿卡德。Nauk 465，No.1，11--13（2015）
全文： DOI程序
吉尔·巴特；托马斯·埃斯皮托；本杰明·格雷戈里；贾斯汀·徐；莱奥·斯特凡内斯科；Pierre-Yves支柱

通过概率耦合进行关系推理。 （英语） Zbl 1471.68127号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 387-401 (2015).
MSC公司：60年第68季度 03B70号 87年第68季度 68伏15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Barthe｝等人，Lect。注释计算。科学。9450387--401（2015；Zbl 1471.68127）
全文： DOI程序 arXiv公司 哈尔
帕特里克·贝洛特；吉尔·巴特；乌戈·达尔拉戈

次递归定义的隐式计算复杂性及其在密码证明中的应用。 （英语） Zbl 1471.68053号

Davis，Martin（编辑）等人，《编程逻辑、人工智能和推理》。第20届国际会议，2015年LPAR-20，斐济苏瓦，2015年11月24-28日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9450, 203-218 (2015).
MSC公司：68号30 03B70号 65年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{P.Baillot}等人，Lect。注释计算。科学。9450203-218（2015；Zbl 1471.68053）
全文： DOI程序 哈尔
圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；圣地亚哥，索尼娅

用不等量约束模方程理论进行符号协议分析。 （英语） Zbl 1437.94060号

Bodei，Chiara（编辑）等人，《应用于生物学和安全的编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 238-261 (2015).
MSC公司：94A60型 68号30 03C05号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Escobar}等人，Lect。注释计算。科学。9465，238--261（2015；Zbl 1437.94060）
全文： DOI程序
阿尔贝托·卡帕伊；乌戈·达尔拉戈

关于等价、度量和多项式时间。 （英语） Zbl 1436.94044号

Kosowski，Adrian（编辑）等人，《计算理论基础》。2015年8月17日至19日，第20届国际研讨会，FCT 2015，波兰根斯克。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9210, 311-323 (2015).
MSC公司：94A60型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Cappai}和\textit{U.Dal Lago}，莱克特。注释计算。科学。9210、311--323（2015；Zbl 1436.94044）
全文： DOI程序 arXiv公司 哈尔
安德烈亚·莫迪多；卡洛斯·卡莱罗

基于方程的经典逻辑。 （英语） Zbl 1465.03069号

Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 38-52 (2015).
MSC公司：03B70号 03B25号 2012年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Mordido}和\textit{C.Caleiro}，莱克特。注释计算。科学。9160，38-52（2015；Zbl 1465.03069）
全文： DOI程序
吉他，勒内

字段的六边形逻辑\（\mathbb{F}（F）_{8} \）作为具有三种对合形式的布尔逻辑。 （英语） Zbl 1352.03030号

Koslow，Arnold（编辑）等人，《通向普遍逻辑的道路》。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer（ISBN 978-3-319-10192-7/pbk；978-3-3169-10193-4/电子书）。《通用逻辑研究》，191-220（2015）。
MSC公司：03B45号 03B50号 05年3月 06E25年 06E30年 11T99型
PDF格式BibTeX公司 XML格式引用
\textit{R.Guitat}，in：通向普遍逻辑的道路。庆祝Jean-Yves Béziau 50岁生日。第一卷Cham：Birkhäuser/Springer。191-220（2015；Zbl 1352.03030）
全文： DOI程序
米希尔·K·查克拉博蒂。（编辑）；安德烈·斯科伦（编辑）；马诺兰詹·麦蒂（编辑）；萨马吉特·卡尔（编辑）

不确定性和应用方面。印度加尔各答ICFUA，2013年12月。会议记录。 （英语） Zbl 1319.90004号

Springer数学与统计论文集125.新德里：施普林格出版社（ISBN 978-81-322-2300-9/hbk；978-8132-2301-6/电子书）。xiv，第343页。(2015).
MSC公司：90-06 900亿 93埃克斯 93立方厘米 03B52号 68单位35 94A05级 94A08型 94甲12 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.K.Chakraborty}（编辑）等人，《不确定性和应用方面》。ICFUA，印度加尔各答，2013年12月。会议记录。新德里：施普林格（2015年；兹bl 1319.90004）
全文： DOI程序
Alireza Sadeghian（编辑）；胡曼·塔哈约里（编辑）

高阶模糊集的边界。 （英语） Zbl 1305.03004号

纽约州纽约市：施普林格出版社（ISBN 978-1-4614-3441-2/hbk；978-1-4624-3442-9/电子书）。xiii，第261页。(2015).
MSC公司：03-06 03E72型 93立方厘米 94甲15 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{A.Sadeghian}（编辑）和\textit{H.Tahayori}（主编），高阶模糊集的边界。纽约州纽约市：施普林格（2015；Zbl 1305.03004）
全文： DOI程序
Švarný，佩特；翁德雷伊·马杰尔；米夏尔·佩利什

专用通信协议中的色情认知逻辑。 （英语） Zbl 1388.03019号

Danák，Michal（编辑）等人，《2013年Logica年鉴》。2013年6月17日至21日，捷克共和国赫尼茨修道院，第27届年度国际研讨会Logica会议记录。伦敦：学院出版物（ISBN 978-1-84890-144-5/pbk）。223-238 (2014).
MSC公司：03B42号 94A05级
PDF格式BibTeX公司 XML格式引用
\textit{P.Švarní}等人，摘自：《2013年Logica年鉴》。2013年6月17日至21日，捷克共和国赫尼茨修道院，第27届年度国际研讨会Logica会议记录。伦敦：学院出版物。223--238（2014；Zbl 1388.03019）
沃尔特·卡尼埃利；玛丽安娜·马图洛维奇

多项式格式的非确定性语义。 （英语） Zbl 1335.03012号

Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305、19-34，仅电子版（2014）。
MSC公司：03B35型 03B50号 2006年11月 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Carnielli}和\textit{M.Matulovic}，电子。注释Theor。计算。科学。305、19-34（2014；Zbl 1335.03012）
全文： DOI程序
卢西亚诺·博伊

不对称性、不可逆性和时间动力学。 （英语） Zbl 1317.83059号

Albeverio，Sergio（编辑）等人，《时间的方向》。会议记录，德国比勒费尔德，2002年1月14日至19日。查姆：施普林格（ISBN 978-3-319-02797-5/hbk；978-3-3169-02798-2/电子书）。93-116（2014年）。
MSC公司：83C75号 83D05号 81T20型 03A05号 37G10型 37N20号 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{L.Boi}，in：时间方向。会议记录，德国比勒费尔德，2002年1月14日至19日。查姆：斯普林格。93-116（2014；Zbl 1317.83059）
全文： DOI程序
杰里米·塞利格曼

重新考虑了情境理论。 （英语） Zbl 1354.03033号

Baltag，Alexandru（编辑）等人，Johan van Benthem关于逻辑和信息动力学。查姆：施普林格（ISBN 978-3-319-06024-8/hbk；978-3-3169-06025-5/电子书）。《逻辑杰出贡献》5895-932（2014）。
MSC公司：03B60号 03B65号 03B70号 94甲15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.塞利格曼}，Outst。控制日志。5895-932（2014年；Zbl 1354.03033）
全文： DOI程序
李伟

数学逻辑。信息科学基础。第二次修订和扩展版。 （英语） Zbl 1334.03001号

计算机科学与应用逻辑进展25.巴塞尔：Birkhäuser/Springer（ISBN 978-3-0348-0861-3/hbk；978-3-0.348-0862-0/ebook）。xiv，301页。(2014).
MSC公司：03-01 03B05号 03B10号机组 03B25号 03B80号 94-01 94甲15
PDF格式BibTeX公司 XML格式引用
\textit{W.Li}，数理逻辑。信息科学基础。第二次修订和扩展版，巴塞尔：Birkhäuser/Springer（2014；Zbl 1334.03001）
全文： DOI程序
弗拉基米尔·克鲁普西。

原始隐含作为加密。 （英语） Zbl 1407.68144号

爱德华·赫施（Edward A.Hirsch）等，《计算机科学——理论与应用》。2014年6月7日至11日，第九届俄罗斯国际计算机科学研讨会，CSR 2014，俄罗斯莫斯科。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8476, 232-244 (2014).
MSC公司：第68页第25页 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Krupski}，莱克特。注释计算。科学。8476，232--244（2014；Zbl 1407.68144）
全文： DOI程序 arXiv公司
穆罕默德·阿基尔·艾哈迈德·汗；Ulrich Kohlenbach公司

定量图像恢复定理。 （英语） Zbl 1307.47059号

非线性分析。，理论方法应用。，序列号。A、 理论方法 106, 138-150 (2014).
审核人：瓦西尔·贝林德（Baia Mare）
MSC公司：2009年7月47日 2010年1月3日 53立方厘米 94A08型
PDF格式BibTeX公司 XML格式引用
\textit{M.A.A.Khan}和\textit{U.Kohlenbach}，非线性分析。，理论方法应用。，序列号。A、 理论方法106，138-150（2014；Zbl 1307.47059）
全文： DOI程序
克劳迪娅·卡萨迪奥（编辑）；鲍勃·科克（编辑）；迈克尔·穆尔特加特（编辑）；菲利普·斯科特（编辑）

逻辑、语言和物理中的类别和类型。纪念吉姆·兰贝克90岁生日的文章。 （英语） 兹比尔1284.03016

计算机科学课堂讲稿8222.柏林：施普林格出版社（ISBN 978-3-642-54788-1/pbk）。xii，421页。(2014).
MSC公司：03-06 03B47号 03B65号 03G30型 18日第10天 2017年第68季度 2012年第68季度 81页第10页 94A60型 00B30型
PDF格式BibTeX公司 XML格式引用
\textit{C.Casadio}（ed.）等人，《逻辑、语言和物理中的类别和类型》。纪念吉姆·兰贝克90岁生日的文章。柏林：施普林格出版社（2014；Zbl 1284.03016）
全文： DOI程序
吉尔·巴特；塞德里克·Fornet；本杰明·格雷戈里；Pierre-Yves支柱；尼基尔·斯瓦米；圣地亚哥Zanella-Béguelin

加密实现的概率关系验证。 （英语） Zbl 1284.68380号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-2544-8）。193-205 (2014).
MSC公司：60年第68季度 03B70号 68甲18 68吨15 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。193-205（2014；Zbl 1284.68380）
全文： DOI程序
阿南塔拉曼，湿婆；克里斯托弗·布沙尔；巴利亚特·纳伦德兰；米歇尔·鲁西诺维奇

统一模：用于密码学块链的2分类方程理论。 （英语） Zbl 1325.68117号

日志。方法计算。科学。 10，第1号，第5号论文，26页（2014年）.
MSC公司：2012年第68季度 03B35型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Anantharaman}等人，日志。方法计算。科学。10，第1号，第5号论文，26页（2014；Zbl 1325.68117）
全文： DOI程序 arXiv公司
毛里西奥·阿亚拉·林科恩；玛丽贝尔·费尔南德斯；丹尼尔·南特斯·索布里尼奥

正规型局部稳定理论的初等演绎问题。 （英语） Zbl 1464.68038号

Kesner，Delia（编辑）等人，《逻辑和语义框架及其应用第七次研讨会论文集》，巴西里约热内卢，2012年9月29日至30日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）113，45-60（2013）。
MSC公司：68平方米25 03B25号 03B70号 03C98号 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{M.Ayala-Rincón}等人，《电子》。程序。西奥。计算。科学。（EPTCS）113、45--60（2013；Zbl 1464.68038）
全文： arXiv公司 链接
塞巴斯蒂安·莫德谢姆。；托马斯·格罗；卢卡·维甘诺

定义隐私应该很容易。 （英语） Zbl 1407.68147号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 619-635 (2013).
MSC公司：第68页第25页 03B70号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛S.A.Mödersheim｝等人，Lect。注释计算。科学。83122619-635（2013年；兹bl 1407.68147）
全文： DOI程序
鲁道夫·塔什内尔

来自寒冷的数字。当数学成为一种冒险。（Die Zahl，Die aus der Kälte kam。Wenn Mathematik zum Abenteuer wird） （德语） Zbl 1401.00010号

慕尼黑：Carl Hanser Verlag（ISBN 978-3-446-43683-1/hbk；978-3-4446-43649-7/电子书）。第243页。(2013).
审核人：乌尔里希·克瑙尔（奥尔登堡）
MSC公司：00A09号 01A05号 97A80型 11A41号机组 30楼03号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Taschner}，Die Zahl，Die aus der Kälte kam。Wenn Mathematik zum Abenteuer wird（温·马塞马提克·祖姆·阿本特耶）。慕尼黑：Carl Hanser Verlag（2013；Zbl 1401.00010）
吉尔·巴特；费德里科·奥利梅多

超越差异隐私：概率程序之间差异的合成定理和关系逻辑。 （英语） Zbl 1335.68043号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966，49-60（2013）。
MSC公司：68号30 03B70号 第68页，共15页 94甲17
PDF格式BibTeX公司 XML格式引用
\textit｛G.Barthe｝和\textit｛F.Olmedo｝，Lect。注释计算。科学。7966，49-60（2013年；兹bl 1335.68043）
全文： DOI程序
米歇尔·布格列西；斯特凡诺·卡尔扎瓦拉；法比恩·艾格纳；马特奥·马菲

协议实现中安全资源管理的逻辑基础。 （英语） 兹比尔1390.68075

David Basin（编辑）等人，《安全与信任原则》。2013年3月16日至24日在意大利罗马举行的第二届国际会议，即2013年POST，是欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36829-5/pbk）。计算机科学课堂讲稿7796105-125（2013）。
MSC公司：68个M12 03B70号 60年第68季度 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bugliesi｝等人，Lect。注释计算。科学。7796、105-125（2013年；Zbl 1390.68075）
全文： DOI程序
卢西亚诺·弗洛里迪

图灵的三节哲学课和信息哲学。 （英语） Zbl 1322.00024号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3536-3542（2012）.
MSC公司：00A30型 03A05号 94甲15 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{L.Floridi}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3536-3542（2012；Zbl 1322.00024）
全文： DOI程序
泰罗·莱廷；汤米·琼蒂拉；伊尔卡·尼梅尔

冲突驱动的XOR子句学习。 （英语） Zbl 1273.68322号

Cimatti，Alessandro（编辑）等人，《可满足性测试的理论和应用——2012年SAT》。第十五届国际会议，意大利特伦托，2012年6月17日至20日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31611-1/pbk）。计算机科学课堂讲稿7317，383-396（2012）。
MSC公司：68吨15 03B35型 20层03 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Laitinen}等人，Lect。注释计算。科学。7317383-396（2012年；Zbl 1273.68322）
全文： DOI程序 arXiv公司
安德鲁·休斯；A.帕文。；内森·罗素；艾伦·塞尔曼

关于承诺问题的一个三十年前的猜测。 （英语） Zbl 1272.68143号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日，第39届国际学术讨论会，ICALP 2012，英国沃里克。会议记录，第一部分，柏林：施普林格出版社（ISBN 978-3-642-31593-0/pbk）。计算机科学课堂讲稿7391473-484（2012）。
MSC公司：2017年第68季度 03日30分 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Hughes｝等人，Lect。注释计算。科学。7391473--484（2012年；兹比尔1272.68143）
全文： DOI程序
亚历山大·唐泽；奥德·马勒；埃齐奥·巴托奇；德扬·尼科维奇；拉杜·格罗苏；斯科特·斯莫尔卡

关于时间逻辑和信号处理。 （英语） Zbl 1374.68278号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，92-106（2012）。
MSC公司：60年第68季度 03B44号 94甲12
PDF格式BibTeX公司 XML格式引用
\textit{A.Donzé}等人，Lect。注释计算。科学。7561，92-106（2012；Zbl 1374.68278）
全文： DOI程序
Padmanabhan，T。

关于重力性质的对话。 （英语） Zbl 1262.83044号

Jeff Murugan（编辑）等人，《空间和时间的基础》。对量子引力的思考。剑桥：剑桥大学出版社（ISBN 978-0-521-11440-0/hbk；978-0-511-92099-8/电子书）。8-49 (2012).
审核人：亚历克斯·盖纳（基希讷乌）
MSC公司：83E05号 83D05号 83二氧化碳 53Z05个 83立方厘米 03A05号 94甲17 80A10号
PDF格式BibTeX公司 XML格式引用
\textit{T.Padmanabhan}，in：空间和时间的基础。对量子引力的思考。剑桥：剑桥大学出版社。8-49（2012；Zbl 1262.83044）
全文： arXiv公司
吉尔·巴特；本杰明·格雷戈里；圣地亚哥Zanella Béguelin

计算机辅助安全证明的概率关系Hoare逻辑。 （英语） 兹比尔1358.94059

Jeremy Gibbons等人，《程序构造的数学》。2012年6月25日至27日在西班牙马德里举行的2012年MPC第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31112-3/pbk）。《计算机科学讲义》7342，1-6（2012）。
MSC公司：94A60型 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛G.Barthe｝等人，Lect。注释计算。科学。7342，1--6（2012；Zbl 1358.94059）
全文： DOI程序 哈尔
斯特凡尼德劳恩；史蒂夫·克莱默；丹尼尔·帕塞拉

安全协议、约束系统和群论。 （英语） Zbl 1358.68185号

Gramlich，Bernhard（编辑）等人，《自动推理》。2012年6月26日至29日在英国曼彻斯特举行的第六届国际联合会议，IJCAR 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31364-6/pbk）。计算机科学课堂讲稿7364。人工智能课堂讲稿，164-178（2012）。
MSC公司：60年第68季度 03B70号 68瓦30 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Delaune}等人，Lect。注释计算。科学。7364，164--178（2012；Zbl 1358.68185）
全文： DOI程序 哈尔
佩特塔卡奇；米哈利德亚克，塔马斯

演示修改后的CSN逻辑。 （英语） 兹比尔1245.94087

Egri Nagy，Attila（编辑）等人，《第八届应用信息学国际会议论文集》（ICAI 2010），匈牙利埃格尔，2010年1月27-30日。2卷。埃格尔：BVB Nyomdaés KiadóKft。（ISBN 978-963-9894-72-3/pbk）。135-148 (2012).
MSC公司：94A60型 03B70号 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{P.Takács}和\textit{T.Mihálydeák}，摘自：第八届应用信息学国际会议论文集（ICAI 2010），匈牙利埃格尔，2010年1月27日至30日。2卷。埃格尔：BVB Nyomdaés KiadóKft。。135-148（2012；Zbl 1245.94087）
马克·艾伦·芬莱森

信号集、信息流和民间故事。 （英语） Zbl 1358.03039号

Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日在英国剑桥举行的图灵一百周年会议和第八届欧洲可计算性会议（CiE 2012）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。计算机科学课堂讲稿7318，228-236（2012）。
MSC公司：03B70号 03B65号 68立方英尺 94甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Finlayson}，莱克特。注释计算。科学。7318，228--236（2012；Zbl 1358.03039）
全文： DOI程序 链接
谢斌；韩丽文；米菊生

测量Atanassov直觉模糊集之间的包含性、相似性和兼容性。 （英语） Zbl 1270.03115号

国际期刊不确定性。模糊知识-基于系统。 20，第2期，261-280（2012）.
审核人：约泽夫·德鲁尼亚克（Rzeszów）
MSC公司：03E72型 28E10型 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{B.Xie}等人，《国际期刊不确定性》。模糊知识-基于系统。20，第2号，261--280（2012；Zbl 1270.03115）
全文： DOI程序
托比·S·库比特。；延斯·艾瑟特；迈克尔·M·沃尔夫。

将量子通道与主方程关联的复杂性。 （英语） Zbl 1243.81100号

Commun公司。数学。物理学。 310，第2期，383-418（2012）.
审核人：弗拉迪斯拉夫·尼古拉埃维奇-杜马切夫（沃罗涅日）
MSC公司：81S22号 第81页，共15页 81页第45页 2015年3月1日 2012年第68季度 94A40型 90C05（二氧化碳） 2007年7月47日 81页50页
PDF格式BibTeX公司 XML格式引用
\textit{T.S.Cubitt}等人，Commun。数学。物理学。310，第2号，383--418（2012；Zbl 1243.81100）
全文： DOI程序 arXiv公司
拉马努贾姆，R。；苏雷什，S.P。

安全协议对可判定认知逻辑的挑战。 （英语） Zbl 1317.03023号

van Benthem，Johan（编辑）等人，《游戏、规范和理由》。十字路口的逻辑。多德雷赫特：施普林格出版社（ISBN 978-94-007-0713-9/hbk；978-94-007-0920-1/套；978-94-007-0714-6/电子书）。综合图书馆353215-231（2011年）。
MSC公司：03B42号 03B25号 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.Ramanujam}和\textit{S.P.Suresh}，Synth。伦敦银行同业拆借利率。353215--231（2011；Zbl 1317.03023）
全文： DOI程序
伊格纳西奥·蒙特斯；弗拉基米尔·贾尼什；苏珊娜·蒙特斯

直觉模糊集散度的公理化定义。 （英语） Zbl 1254.03102号

2011年7月18日至22日，法国Aix-Les-Bains，欧洲模糊逻辑与技术学会第七届会议（EUSFLAT-2011）和第十七届年度LFA会议记录。阿姆斯特丹：亚特兰蒂斯出版社（ISBN 9978-90-78677-00-0）。论文编号：80，547-553（2011）。
MSC公司：03E72型 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{I.Montes}等人，in：《欧洲模糊逻辑与技术学会第七届会议论文集》（EUSFLAT-2011）和第十七届年度LFA会议，法国Aix-Les-Bains，2011年7月18-22日。阿姆斯特丹：亚特兰蒂斯出版社。论文编号：80，547--553（2011；Zbl 1254.03102）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件