从共性证明到精确实数算法

乌尔里希·伯杰从共性证明到精确实数算法埃里希·格尔·德尔,莱因哈德·卡勒,编辑,计算机科学逻辑,第23届国际研讨会,2009年CSL,第18届EACSL年会,2009年9月7日至11日,葡萄牙科英布拉。诉讼第5771卷,共页计算机科学课堂讲稿,页132-146、施普林格、,2009 [美国国防部]

摘要

缺少摘要。