×

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

最新的 引文 关联
罗伯特·弗雷曼

混合逻辑游戏。从语义游戏到分析计算。 （英语） Zbl 07547738号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 133-149 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Freiman}，莱克特。注释计算。科学。13038、133--149（2021；Zbl 07547738）
全文： 内政部 arXiv公司
威廉·康雷迪;克劳德特·罗宾逊

混合逻辑的代数语义。 （英语） Zbl 1484.03032号

Ju，Shier（编辑）等，非经典逻辑及其应用。2016年12月5日至9日，第八届逻辑与认知国际研讨会，WOLC 2016，中国广州。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，123-154 (2020).
MSC公司：03B45号 03G25号
PDF格式BibTeX公司 XML格式引用
\textit{W.Conradie}和\textit{C.Robinson}，in：非经典逻辑及其应用。2016年第八届逻辑与认知国际研讨会（WOLC 2016）后传，中国广州，2016年12月5-9日。新加坡：斯普林格。123-154（2020年；Zbl 1484.03032）
全文： 内政部 arXiv公司
帕特里克·布莱克本;安东尼娅·韦尔塔斯;玛丽亚·曼扎诺;约根森，克劳斯·弗罗文

亨金和混合逻辑。 （英语） Zbl 1336.03022号

Manzano，María（编辑）等人，《Leon Henkin的生活和工作》。关于他的贡献的论文。查姆：Birkhäuser/Springer（ISBN 978-3-319-09718-3/pbk；978-3-3169-09719-0/ebook）。《通用逻辑研究》，279-306（2014）。
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，摘自：Leon Henkin的生活和工作。关于他的贡献的论文。商会：Birkhäuser/施普林格。279--306（2014年；Zbl 1336.03022）
全文： 内政部
延斯·乌尔里克·汉森

具有分布式知识的混合公告逻辑。 （英语） Zbl 1260.03025号

Bolander，T.（ed.）等人，2010年混合逻辑和应用国际研讨会（HyLo，2010）。2010年7月10日，英国爱丁堡，研讨会的后期制作。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记273，33-50（2011）。
MSC公司：03B42号 03B62号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{J.U.Hansen}，电子。注释Theor。计算。科学。273、33--50（2011年；Zbl 1260.03025）
全文： 内政部
尼古拉斯·特罗夸德;范德霍克，威比;迈克尔·伍尔德里奇

模型检查战略平衡。 （英语） Zbl 1226.68044号

Peled，Doron A.（编辑）等人，《模型检查和人工智能》。2008年7月21日在希腊帕特拉斯举行的2008年MoChArt第五届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-00430-8/pbk）。计算机科学课堂讲稿5348。人工智能课堂讲稿，166-188（2009）。
MSC公司：60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{N.Troquard}等人，Lect。注释计算。科学。5348166--188（2009年；Zbl 1226.68044）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件