×

找到66个文档（结果1-66）

最新的 引文 关联
迪伦·贝利尔;马西莫·贝内雷切蒂;黛拉·莫妮卡，达里奥;法比奥·莫加维罗

交替（in）依赖友好逻辑。 （英语） Zbl 07741119号

Ann.纯粹应用。逻辑 174，第10号，文章ID 103315，58 p.（2023）。
MSC公司：03B60号 03B70号 03C80号 03C90号 68T27型 91A28型
PDF格式BibTeX公司 XML格式引用
\textit{D.Bellier}等人，Ann.Pure Appl。逻辑174，第10号，文章ID 103315，58页（2023；Zbl 07741119）
全文： 内政部 arXiv公司
OA许可证
W.John Gowers;詹姆斯·D·莱尔德。

可数不确定性的完全抽象游戏语义。 （英语） Zbl 1528.68203号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第24条，第18页（2018年）。
MSC公司：68问题55 03B70号 68号30 第68季度10 68问题85 91A40型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{W.J.Gowers}和\textit{J.D.Laird}，LIPIcs——莱布尼茨国际程序。通知。119，第24条，第18页（2018；Zbl 1528.68203）
全文： 内政部
Fermüller，Christian G。;Ondrej Majer

关于Łukasiewicz逻辑的语义博弈。 （英语） 兹比尔1437.03099

van Ditmarsch，Hans（编辑）等人，Jaakko Hintikka，关于知识和游戏理论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 263-278 (2018).
MSC公司：03B50号 91A44型
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Fermüller}和\textit{O.Majer}，Outst。控制日志。12、263--278（2018年；Zbl 1437.03099）
全文： 内政部
克里希南德·查特吉;祖扎纳Křetínská;简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） 兹比尔1448.68280

日志。方法计算。科学。 13，第2号，第15号论文，50页（2017年）。
MSC公司：68问题55 87年第68季度 90立方厘米 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，日志。方法计算。科学。13，第2号，第15号论文，50页（2017；Zbl 1448.68280）
全文： 内政部
Carayol，阿诺;奥利维尔·塞雷

在与大自然的游戏中，策略有多好？ （英语） Zbl 1401.68169号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。609-620 (2015).
MSC公司：68问题55 91A40型 91A44型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Carayol｝和\textit｛O.Serre｝，载于：2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2015，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。609--620（2015；Zbl 1401.68169）
全文： 内政部 arXiv公司
克里希南德·查特吉;祖扎纳科马尔科娃;简·Křetínsk

统一马尔可夫决策过程中对多个平均值目标的两种观点。 （英语） Zbl 1401.68171号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。244-256 (2015).
MSC公司：68问题55 87年第68季度 90立方厘米 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。244--256（2015；Zbl 1401.68171）
全文： 内政部 arXiv公司
西蒙·卡斯特伦;皮埃尔·克莱兰堡;格林·温斯克尔

PCF的并行密集完全抽象博弈模型。 （英语） Zbl 1401.68170号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。232-243 (2015).
MSC公司：68问题55 68甲15 68甲19 91A40型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Castellan}等人，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。232-243（2015；Zbl 1401.68170）
全文： 内政部
津田，武士;Ong，C.H.卢克

通过滑轮的博弈语义中的非确定性。 （英语） Zbl 1401.68177号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。220-231 (2015).
MSC公司：68问题55 91A40型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{T.Tsukada}和\textit{C.H.L.Ong}，摘自：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年LICS，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。220-231（2015；Zbl 1401.68177）
全文： 内政部
苏苏木西村

一个完全抽象的游戏语义，用于共享变量上的非阻塞同步并行。 （英语） Zbl 1356.68139号

Ronchi della Rocca，Simona（编辑），《计算机科学逻辑》2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，578-596（2013）。
MSC公司：68问题55 18立方厘米20 68甲15 68甲19 91A40型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Nishimura｝，LIPIcs——莱布尼茨国际会议记录。通知。23578-596（2013年；兹bl 1356.68139）
全文： 内政部
保罗·安德烈·梅利埃

关于对话游戏和连贯策略。 （英语） Zbl 1356.03075号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，540-562（2013）。
MSC公司：03B70号 03楼52 03克30 68问题55 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Melliès}，LIPIcs——莱布尼茨国际程序。通知。23540-562（2013；Zbl 1356.03075）
全文： 内政部
亚历克西斯·戈耶

lambda \（\lambda \）-bar演算，一种用于无约束策略的对偶演算。 （英语） Zbl 1301.68082号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。155-166 (2013).
MSC公司：68甲18 03B40型 68问题55 91A07型 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Goyet}，in：第40届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2013年1月23日至25日，意大利罗马，POPL'13。纽约州纽约市：计算机协会（ACM）。155-166（2013；Zbl 1301.68082）
全文： 内政部
塞尔吉奥利，G。;莱达，A。;保利，F。;吉安蒂尼，R。;科瓦尔斯基，T。;F.蒙塔格纳。;弗雷特斯，H。;C·马里尼。

猜测秘密问题的两个合作版本。 （英语） Zbl 1173.91300号

信息科学。 179，编号20，3645-3658（2009）。
MSC公司：91A05型 2015年1月6日 68M10个 91A12号机组 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{G.Sergioli}等人，《信息科学》。179，编号20，3645-3658（2009年；兹bl 1173.91300）
全文： 内政部
沙希德·拉赫曼;特罗·图伦海莫

从游戏到对话再回来。走向有效性的总体框架。 （英语） Zbl 1169.03013号

Majer，Ondrej（编辑）等人，《游戏：统一逻辑、语言和哲学》。柏林：施普林格出版社（ISBN 978-1-4020-9373-9/hbk；978-1-4020-9374-6/电子书）。《逻辑、认识论和科学的统一》第15期，第153-208页（2009年）。
审核人：吉姆·麦肯齐（悉尼）
MSC公司：03A05号 03B05号 03B10号机组 03B20型 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{S.Rahman}和\textit{T.Tulenheimo}，Log。认识论。统一科学。15、153--208（2009年；Zbl 1169.03013）
罗宾·克拉克

游戏、量化和话语结构。 （英语） Zbl 1170.03016号

Majer，Ondrej（编辑）等人，《游戏：逻辑、语言和哲学的统一》。柏林：施普林格出版社（ISBN 978-1-4020-9373-9/hbk；978-1-4020-9374-6/电子书）。《逻辑、认识论和科学的统一》15、139-150（2009）。
审核人：Efstratios Rappos（雅典）
MSC公司：03B65号 91层20
PDF格式BibTeX公司 XML格式引用
\textit{R.Clark}，日志。认识论。统一科学。15、139-150（2009年；Zbl 1170.03016）
布莱恩·雷恩

带有明确策略的命题游戏。 （英语） Zbl 1262.03124号

Mints，G.（ed.）等人，《第十三届逻辑、语言、信息和计算研讨会论文集》（WoLLIC 2006），美国加利福尼亚州斯坦福市，2006年7月18日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记165133-144（2006）。
MSC公司：03层45 91A40型 91A46型
PDF格式BibTeX公司 XML格式引用
\textit{B.Renne}，电子。注释Theor。计算。科学。165133-144（2006年；Zbl 1262.03124）
全文： 内政部
贾科·辛提卡

真理、否定和其他逻辑的基本概念。 （英语） 兹比尔1128.03003

van Benthem，Johan（编辑）等人，《替代逻辑的时代》。今天评估逻辑和数学哲学。基于2002年9月30日至10月4日在法国南希举行的逻辑和数学哲学见解会议。多德雷赫特：施普林格（ISBN 978-1-4020-5011-4/hbk；978-1-4020-5012-7/电子书）。《逻辑、认识论和科学的统一》3，195-219（2006）。
审核人：Ø伊斯汀·林内波（布里斯托尔）
MSC公司：03A05号 03B60号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{J.Hintikka}，日志。认识论。统一科学。3195-219（2006；Zbl 1128.03003）
Choe，K。;Eo，H。;O、 美国。;新墨西哥州希洛夫。;Yi，K。

民俗证据：为什么模型检查可达性？（扩展摘要）。 （英语） Zbl 1119.03332号

Goncharov，S.S.（编辑）等人，《亚洲数理逻辑》。第九届亚洲逻辑会议记录，俄罗斯新西伯利亚，2005年8月16-19日。新泽西州哈肯萨克：世界科学（ISBN 978-981-270-045-2/hbk）。41-50 (2006).
MSC公司：03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Choe}等人，《亚洲数理逻辑》。第九届亚洲逻辑会议记录，俄罗斯新西伯利亚，2005年8月16-19日。新泽西州哈肯萨克：《世界科学》。41-50（2006年；Zbl 1119.03332）
阿赫蒂·韦科·彼得雷宁（Ahti-Veikko Pietarinen）

逻辑符号。皮尔士关于语言、游戏和交流哲学的主题。 （英语） Zbl 1116.03002号

合成库329.多德雷赫特：施普林格（ISBN 1-4020-3728-7/hbk）。xiv，496页。(2006).
审核人：吉姆·麦肯齐（悉尼）
MSC公司：03-02 03A05号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{A.-V.Pietarinen}，逻辑符号。皮尔士关于语言、游戏和交流哲学的主题。多德雷赫特：施普林格（2006；Zbl 1116.03002）
Susumu Hayashi

校样可以用游戏制作动画吗？ （英语） Zbl 1112.03310号

Urzyczyn，Paweł（编辑），《lambda计算类型和应用》。2005年4月21日至23日在日本奈良举行的2005年TLCA第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25593-1/pbk）。《计算机科学讲义》3461，11-22（2005）。
MSC公司：03B70号 68号30 68问题32 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Hayashi}，莱克特。注释计算。科学。3461，11--22（2005；Zbl 1112.03310）
全文： 内政部
阿赫蒂·威科·彼得雷宁（Ahti-Veikko Pietarinen）

有些游戏是逻辑游戏。 （英语） 邮编1087.03006

Daniel Vanderveken（编辑），《逻辑、思想和行动》。多德雷赫特：施普林格（ISBN 1-4020-2616-1/hbk；1-4020-3167-X/电子书）。《逻辑、认识论和科学的统一》2，409-431（2005）。
MSC公司：03A05号 03B60号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.-V.Pietarinen}，日志。认识论。统一科学。2409--431（2005年；Zbl 1087.03006）
阿赫蒂·威科·彼得雷宁（Ahti-Veikko Pietarinen）

逻辑和认识论中的语义游戏。 （英语） Zbl 1083.03016号

Rahman，Shahid（编辑）等人，《逻辑、认识论和科学的统一》。柏林：施普林格出版社（ISBN 1-4020-2807-5/hbk；1-4020-2808-3/电子书）。《逻辑、认识论和科学的统一》1，57-103（2004）。
MSC公司：03A05号 03-02
PDF格式BibTeX公司 XML格式引用
\textit{A.-V.Pietarinen}，日志。认识论。统一科学。1、57——103（2004；Zbl 1083.03016）
贾科·辛提卡

第二代认知逻辑及其一般意义。 （英语） 兹比尔1087.03010

Hendricks，Vincent F.（编辑）等人，《知识贡献者》。基于认知逻辑维度会议，丹麦罗斯基勒，2002年5月。多德雷赫特：Kluwer学术出版社（ISBN 1-4020-1747-2/hbk）。Synthese Library 322，33-55（2003）。
审核人：Osamu Sonobe（福洛尼卡）
MSC公司：03B42型 03A05号 03B60号 91A80型 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{J.欣提卡}，Synth。伦敦银行同业拆借利率。322、33-55（2003年；Zbl 1087.03010）
斯特凡诺·博尔戈

用于与非通信代理并发的多代理模式语言。 （英语） Zbl 1043.68861号

Mařík，Vladimír（编辑）等人，《多智能体系统和应用III.第三届中欧和东欧多智能体国际会议》，CEEMAS 2003，捷克共和国布拉格，2003年6月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40450-3/pbk）。计算机科学课堂讲稿2691；人工智能课堂讲稿，40-50（2003）。
MSC公司：99年6月 68层35 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{S.Borgo}，莱克特。注释计算。科学。2691、40-50（2003年；Zbl 1043.68861）
全文： 链接
V.A.扬科夫。

经典谓词演算的对话解释。 （英语。俄文原件） Zbl 0889.03008号

伊兹夫。数学。 61，第1期，225-233（1997）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料61，第1号，215-224（1997）。
审核人：M.Yasuhara（普林斯顿）
MSC公司：03B10号机组 05年3月
PDF格式BibTeX公司 XML格式引用
\文本{V.A.Yankov}，Izv。数学。61，No.1，225--233（1997；Zbl 0889.03008）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料61，编号1，215--224（1997）
全文： 内政部
贾科·辛提卡

康德的数学哲学。先验论证的结构。Transl.公司。来自英国。科琳·胡加特（Corinne Hoogaert）。（《康德的数学哲学》。《超越论证的结构》。《英国传统》，科琳·胡格特。） （法语） 兹比尔0878.03001

《审讯哲学》。巴黎：法国新闻大学。viii，第311页（1996年）。
审核人：G.牧师（布里斯班）
MSC公司：03A05号 00A30型 00-02 03-02
PDF格式BibTeX公司 XML格式引用
\textit{J.Hintikka}，《数学哲学检验康德》。论证的结构是超越的。Traduit de l'angais par Corinne Hoogaert公司。巴黎：法国新闻大学（1996；Zbl 0878.03001）
菲利普·斯梅茨（编辑）;阿贝·马姆达尼（编辑）;迪迪埃·杜布瓦（编辑）;亨利·普拉德（编辑）

用于自动推理的非标准逻辑。 （英语） Zbl 0669.03002号

伦敦等：学术出版社x，334 p.£19.00（1988）。
审核人：圣戈特瓦尔德
MSC公司：2006年3月 68-06 00亿Bxx 03B60号 68T99型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit｛P.Smets｝（编辑）等人，用于自动推理的非标准逻辑。伦敦等：学术出版社（1988；Zbl 0669.03002）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

软件