2024-04-19T13:14:12Z年4月19日 https://oai.zbmath.org/v1/

oai:zbmath.org:6464964 2015年7月27日T11:49:38Z 03

尼古拉斯·马高（Nicolas Magaud）；胆汁，琼脂；福斯，劳伦特 2015 6464964 英语 施普林格国际出版公司，Cham https://zbmath.org/06464964 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” 安。数学。Artif公司。智力。74，No.3-4，309-332（2015）。 03F55；03H15；03层60 从离散几何角度形式化Coq中连续统的离散模型 j个