2024-04-19T22:40:36Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org：7205367 2020-05-27T13:58:28Z 03 68

迪亚科内斯库，勒兹万 2020 7205367 英语 施普林格（Birkhäuser），巴塞尔 https://zbmath.org/07205367 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 日志。Univers大学。14，第2期，259-277（2020年）。 68Q65；03B45；03C98；03G30型 介绍一种基于机构的形式化规范和验证语言 j个