Marco Bozzano等人：数学SAT 3系统。(2005) conf/cade/BozzanoBCJRSS05 10.1007/11532231_23 第62041381号 MathSAT 3系统。 7 马可·波扎诺 1 罗伯托·布鲁托梅索 2 亚历山德罗·西马蒂 三 汤米·A·琼蒂拉 4 彼得·范·罗苏姆 5 斯蒂芬·舒尔茨0001 6 罗伯托·塞巴斯蒂亚尼 7 315-321 CADE公司 CADE公司 2005 2005 dblp记录“conf/cade/BozzanoBCJRSS05”的RDF数据的来源信息 2019-06-02T21:23:55+0200