2024-04-19T17:20:45 Z https://oai.zbmath.org/v1/

oai:zbmath.org:7055781 2019-05-16T16:00:36Z 03 51

马可·贝尼尼（布奇纳斯科） 阿里尔·凯利森；马克·比克福德（Mark Bickford）；罗伯特·康斯特布尔 2019 7055781 英语 施普林格国际出版公司，Cham https://zbmath.org/07055781 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能通过API以适当的许可证提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 安。数学。Artif公司。智力。85，第2-4号，175-192（2019）。 03B35；03F55；51M04；03B38型 在类型理论中实现欧几里德的直尺和罗盘构造 j个