2024-04-19T09:54:39Z https://oai.zbmath.org/v1/

oai:zbmath.org:6664941 2016年12月16日15:56:14Z 03 68

罗伯特·兰德；史蒂夫·兹丹塞维奇 2015 6664941 英语 网址：https://zbmath.org/06664941 zbMATH Open生成的内容，如评论、，分类、软件或作者消歧数据，根据CC-BY-SA 4.0发布。这定义了整个数据集，其中还包含非版权书目来自I4OC（CC0）的元数据和参考数据。注意，API仅在zbMATH Open Web界面中提供数据的子集。在在某些情况下，第三方信息（如摘要）不能在适当的许可证下通过API提供。在这些情况下，我们用字符串“zbMATH Open Web Interface contents”替换了数据由于许可证冲突而不可用。” Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，351-367，仅电子版（2015）。 68N30；03B70；68N19；87年第68季度 VPHL：概率程序的验证部分正确性逻辑 一