×

找到211个文档（结果1-100）

最新的 引文 关联
马尔顿埃列克斯；贾诺斯·弗莱希；亲吻，维克多；纳吉，唐纳；马尔科·波奥尔；阿卡迪省Predtechinski

以limsup函数和Baire类（1）函数为特征的博弈。 （英语） Zbl 1505.54025号

J.塞姆。日志。 87，第4期，1459-1473（2022）.
审核人：克里斯托弗·卡鲁瓦纳（科科莫）
MSC公司：54立方30 05年5月54日 2015年3月 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{M.Elekes}等人，J.Symb。日志。87，第4号，1459--1473（2022；Zbl 1505.54025）
全文： 内政部 arXiv公司
埃里克·斯奈德；理查德·萨缪尔斯；斯图尔特·夏皮罗

霍夫韦伯的唯名论自然主义。 （英语） Zbl 07598435号

Oliveri，Gianluigi（编辑）等人，《对象、结构和逻辑》。FilMat研究数学哲学。查姆：斯普林格。波士顿Stud.Philos。历史。科学。339, 31-62 (2022).
MSC公司：03年XX月 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{E.Snyder}等人，波士顿哲学研究所。历史。科学。339，31-62（2022年；兹bl 07598435）
全文： 内政部 链接
杨大卫·W·K。；利昂·A·彼得森。

耐用的策略使游戏充满活力。理论、解决方法和应用。 （英语） Zbl 1493.91002号

理论和决策库C.博弈论、社会选择、决策理论和优化50.查姆：施普林格（ISBN 978-3-030-92741-7/hbk；978-3-0030-92742-4/电子书）。xii，303页。(2022).
审核人：瓦西尔·波索利奇（皮亚特拉·尼姆）
MSC公司：91-02 91A25型 91A26型 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{D.W.K.Yeung}和\textit{L.A.Petrosyan}，持久战略是动态游戏。理论、解决方法和应用。查姆：施普林格（2022；Zbl 1493.91002）
全文： 内政部
蒂鲍特·巴拉邦斯基；安托万·兰科；纪尧姆·梅尔金德

强大的按需计算能力。 （英语） Zbl 07700614号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第9条，22页（2021年）。
MSC公司：68倍 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Balabonski}等人，LIPIcs——莱布尼茨国际程序。通知。195，第9条，22 p.（2021；Zbl 07700614）
全文： 内政部 arXiv公司
达斯，拉米特；阿南塔·帕德马纳巴；拉马努贾姆，R。

在有无数玩家参与的大型游戏中进行推理。 （英语） 兹伯利07547758

Ghosh，Sujata（编辑）等人，《逻辑、理性与互动》。第八届国际研讨会，LORI 2021，中国西安，2021年10月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13039, 41-57 (2021).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\文本{R.Das}等人，Lect。注释计算。科学。13039，41-57（2021；Zbl 07547758）
全文： 内政部
穆罕默德·沙菲伊

对话逻辑中结构规则和粒子规则的区别的现象学分析。 （英语） Zbl 1469.03026号

Weiss，Christina（编辑），《建构语义学》。现象学和建构主义之间的意义。基于2016年9月30日至10月1日在德国弗里德里希沙芬举行的研讨会。查姆：斯普林格。日志。认识论。统一科学。44，85-94（2019年）。
MSC公司：03A05号 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{M.Shafiei}，日志。认识论。统一科学。44、85-94（2019年；Zbl 1469.03026）
全文： 内政部
沙希德·拉赫曼

对话、理由和认可。 （英语） Zbl 1469.03024号

Weiss，Christina（编辑），《建构语义学》。现象学和建构主义之间的意义。基于2016年9月30日至10月1日在德国弗里德里希沙芬举行的研讨会。查姆：斯普林格。日志。认识论。统一科学。44, 15-84 (2019).
MSC公司：03A05号 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{S.Rahman}，日志。认识论。统一科学。44、15-84（2019年；Zbl 1469.03024）
全文： 内政部 链接
纳塔娜·菲亚尔科夫；巴斯蒂安·莫伯特；阿尼埃洛·穆拉诺；萨沙·鲁宾

量化战略逻辑中的界限。 （英语） Zbl 1528.68218号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第23条，第23页（2018）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。119，第23条，23 p.（2018；Zbl 1528.68218）
全文： 内政部
帕特里克·加迪；帕特里夏·鲍耶；尼古拉斯·马基

取决于战略逻辑。 （英语） Zbl 1484.68101号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第34条，第15页（2018年）。
MSC公司：60年第68季度 03B44号 65年第68季度 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardy}等人，LIPIcs——莱布尼茨国际程序。通知。96，第34条，第15页（2018；Zbl 1484.68101）
全文： 内政部 arXiv公司
朱利安·古铁雷斯；保罗·哈伦斯坦；朱塞佩·佩雷利；迈克尔·伍尔德里奇

纳什均衡和互模拟不变性。 （英语） 兹比尔1442.68143

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第17条，第16页（2017年）。
MSC公司：68问题85 03B70号 68T42型 91A10号
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}等人，LIPIcs——莱布尼茨国际程序。通知。85，第17条，第16页（2017；Zbl 1442.68143）
全文： 内政部
梅迪·鲁泽加；穆罕默德·马霍布。；穆萨·阿亚提

使用改进的基于模糊的速度梯度算法自适应估计非完整球形机器人的非线性参数。 （英语） 兹比尔1379.93090

雷古尔。混沌动力学。 22，第3期，226-238（2017）.
MSC公司：93E10型 93立方厘米 37J60型 70E18型 70E60型 70层25 70E55型 93C40型 93B40码
PDF格式BibTeX公司 XML格式引用
\textit{M.Roozegar}等人，Regul。混沌动力学。22，第3号，226--238（2017；Zbl 1379.93090）
全文： 内政部
法比奥·莫加维罗；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；莫舍·瓦尔迪。

策略推理：关于可满足性问题。 （英语） Zbl 1448.68312号

日志。方法计算。科学。 13，第1号，第9号论文，37页（2017年）.
MSC公司：60年第68季度 03B44号 03B70号 2017年第68季度 68问题85 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.Mogavero}等人，日志。方法计算。科学。13，第1号，第9号论文，37页（2017；Zbl 1448.68312）
全文： 内政部 arXiv公司
伊曼纽尔·基诺（Emmanuel J.Genot）。；阿格内塔·古尔兹

探究和探究学习的疑问模式。 （英语） Zbl 1439.03022号

巴什肯特（Baškent，Can）（编辑），《探究疑问模型的观点》。调查和问题的发展。查姆：斯普林格。日志。氩气。原因。8, 15-33 (2016).
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Genot}和\textit{A.Gulz}，Log。氩气。原因。8、15-33（2016年；Zbl 1439.03022）
全文： 内政部 链接
埃里希·格拉德尔

包含逻辑和定点逻辑的游戏。 （英语） Zbl 1429.03117号

Abramsky，Samson（编辑）等人，《依赖逻辑》。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的演讲，选出论文。巴塞尔：Birkhäuser/Springer。73-98 (2016).
MSC公司：03B60号 91个40个
PDF格式BibTeX公司 XML格式引用
\textit{E.Grädel}，in：依赖逻辑。理论和应用。根据2013年2月在德国瓦登举行的达格斯图尔“依赖逻辑：理论和应用”研讨会上的发言，选出论文。巴塞尔：Birkhäuser/Springer。73-98（2016年；Zbl 1429.03117）
全文： 内政部
乔治·迪米洛夫斯基（Georgi M.Dimirovski）。

在高速网络中学习智能控制：计算智能与控制和Q-学习理论的协同作用。 （英语） Zbl 1402.68026号

Sgurev，Vassil（编辑）等人，《智能系统中的创新问题》。查姆：施普林格（ISBN 978-3-319-27266-5/hbk；978-3-3169-27267-2/电子书）。计算智能研究623111-139（2016）。
MSC公司：68米10 68平方米 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{G.M.Dimirovski}，螺柱计算。智力。623111--139（2016；Zbl 1402.68026）
全文： 内政部
奥拉夫·拜尔斯多夫；贾恩·皮奇

了解QBF的Gentzen和Frege系统。 （英语） Zbl 1395.03028号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。146-155 (2016).
MSC公司：20层03 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}和\textit{J.Pich}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。146-155（2016；Zbl 1395.03028）
全文： 内政部 链接
Kwiatkowska，Marta Z。

随机博弈的模型检验和策略合成：从理论到实践（邀请演讲）。 （英语） 兹比尔1388.68186

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 4，18 p.（2016）。
MSC公司：60年第68季度 03B44号 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{M.Z.Kwiatkowska}，LIPIcs——莱布尼茨国际程序。通知。55，第4条，第18页（2016年；Zbl 1388.68186）
全文： 内政部
文森特·凡·奥斯特罗姆；富山，吉藤义彦

通过随机下降归一化。 （英语） Zbl 1387.68151号

Kesner，Delia（ed.）等人，第一届计算和扣减形式结构国际会议，2016年金融稳定与发展委员会，葡萄牙波尔图，2016年6月22日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-010-1）。LIPIcs–莱布尼茨国际信息学学报52，第32条，第18页（2016年）。
MSC公司：2012年第68季度 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{V.Van Oostrom}和\textit{Y.Toyama}，LIPIcs——莱布尼茨国际程序。通知。52，第32条，第18页（2016年；Zbl 1387.68151）
全文： 内政部
杰罗德·贾格尔

一个最佳的策略，静态黑球大师用两个钉子。 （英语） Zbl 1484.91087号

Chan，T-H.Hubert（编辑）等人，《组合优化与应用》。第十届国际会议，2016年COCOA，中国香港，2016年12月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10043，670-682（2016年）。
审核人：米歇尔·里戈（Liège）
MSC公司：91年46月 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{G.Jäger}，莱克特。注释计算。科学。10043、670--682（2016；Zbl 1484.91087）
全文： 内政部
奥斯卡·马汀；阿尔贝托·维尔德乔；马丁·奥列特，纳西索

平等主义国家过渡制度。 （英语） Zbl 1367.68198号

Lucanu，Dorel（编辑），重写逻辑及其应用。第11届国际研讨会，WRLA 2016，作为ETAPS的卫星活动，于2016年4月2日至3日在荷兰埃因霍温举行。修改选定的论文。商会：施普林格出版社（ISBN 978-3-319-44801-5/pbk；978-3-319-44802-2/ebook）。计算机科学讲义9942，98-117（2016）。
MSC公司：60年第68季度 03B44号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{奥斯·马丁}等人，Lect。注释计算。科学。9942、98-117（2016年；Zbl 1367.68198）
全文： 内政部
帕特里夏·鲍耶；帕特里克·加迪；尼古拉斯·马基

单反游戏中布尔目标的加权策略逻辑。 （英语） 兹比尔1366.68166

Harsha，Prahladh（编辑）等人，第35届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2015，印度班加罗尔，2015年12月16-18日。诉讼程序。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-97-2）。LIPIcs–莱布尼茨国际信息学论文集45，69-83（2015）。
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 91A06型
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。45，69-83（2015年；兹bl 1366.68166）
全文： 内政部
科普钦斯基，Eryk；达米安·尼文斯基

一个简单的不确定的无限游戏。 （英语） Zbl 1344.03042号

Brattka，Vasco（编辑）等人，《逻辑、计算、层次结构》。在维克多·L·塞利瓦诺夫60岁生日之际献给他。柏林：De Gruyter（ISBN 978-1-61451-783-2/hbk；978-1-61481-804-4/电子书）。Ontos数学逻辑4205-211（2014）。
MSC公司：03E60年 03E25型 2015年3月 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{E.Kopczy nn ski}和\textit{D.Niwin nn ski}，Ontos数学。日志。4205--211（2014；Zbl 1344.03042）
Jerzy Pilecki；马雷克·贝德纳奇克（Marek A.Bednarczyk）。；沃伊切赫，詹罗加

多智能体系统统一策略的综合与验证。 （英语） Zbl 1425.68419号

Bulling，Nils（编辑）等人，《多智能体系统中的计算逻辑》。第十五届国际研讨会，CLIMA XV，捷克共和国布拉格，2014年8月18-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8624, 166-182 (2014).
MSC公司：68T42型 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Pilecki}等人，Lect。注释计算。科学。8624，166--182（2014；Zbl 1425.68419）
全文： 内政部
奥斯卡·马汀；阿尔贝托·维尔德乔；马丁·奥列特，纳西索

无限系统上的模型检查TLR*保证公式。 （英语） Zbl 1407.68296号

Iida，Shusaku（编辑）等人，《规范、代数和软件》。专为Kokichi Futatsugi撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8373, 129-150 (2014).
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{奥斯·马丁}等人，Lect。注释计算。科学。8373129-150（2014年；Zbl 1407.68296）
全文： 内政部 链接
彼得·施拉梅尔；Subotic，铺面

逻辑-数值最大策略迭代。 （英语） Zbl 1426.68062号

Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 414-433 (2013).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Schrammel}和\textit{P.Subotic}，莱克特。注释计算。科学。7737、414--433（2013；Zbl 1426.68062）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件