2024-04-16T19:08:14Z https://oai.zbmath.org/v1/

oai:zbmath.org:6560545 2016年3月29日T09:06:54Z 03 68

马尔塞洛·M·贝尔萨尼。；罗西，马蒂奥；圣彼得罗，皮耶路易吉 2016 6560545 英语 柏林/海德堡施普林格 https://zbmath.org/06560545 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们将数据替换为字符串“zbMATH Open Web Interface contents”由于许可证冲突而不可用。” Acta Inf.53，No.2，171-206（2016）。 68T15；03B25；03B44号 一种确定连续时间度量时序逻辑可满足性的工具 j个