Deepak Kapur等人：自动生成八角不变量和Max-plus不变量的几何量词消除启发法。(2013) conf/生日/KapurZHZLN13 10.1007/978-3-642-36675-8_11 自动生成八角不变量和Max-plus不变量的几何量词消除启发式。 6 迪帕克·卡普尔 1 张志海 2 马蒂亚斯·霍巴赫 三 赵恒军 4 齐鲁 5 ThanhVu Nguyen先生 6 189-228 自动推理与数学 自动推理与数学 2013 2013 dblp记录“conf/baurth/KapurZHZLN13”的RDF数据的来源信息 2017-05-23T01:06:48+0200