2024-04-19T10:21:14Z https://oai.zbmath.org/v1/

oai:zbmath.org:6578791 2016年5月10日12:56:05Z 03

Paulo A.S.Veloso。；Sheila R.M.Veloso。；贝内维特斯，马里奥·R·F·。 2014 6578791 英语 https://zbmath.org/06578791 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Fernández，Maribel（编辑）等人，《第八届逻辑和语义框架研讨会论文集》（LSFA 2013），巴西圣保罗，2013年9月2-3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305123-139，仅电子版（2014）。 03B45 关于模态逻辑的图方法 一