2024-04-16T19:47:27Z https://oai.zbmath.org/v1/

oai:zbmath.org:6778402 2017年9月22日08:03:42Z 03 68

孟宝洛；安德鲁·雷诺兹（Andrew Reynolds）；蒂内利、塞萨尔；克拉克·巴雷特 2017 6778402 英语 https://zbmath.org/06778402 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们将数据替换为字符串“zbMATH Open Web Interface contents”由于许可证冲突而不可用。” de Moura，Leonardo（编辑），自动扣除——CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10395, 148-165 (2017). 68V15；03B70号 SMT中的关系约束求解 一