@InCollection{zbMATH06348545，作者={张，南，段，振华，田，聪}，标题＝{圆柱体计算模型的公理化}，BookTitle={计算与组合。第20届国际会议，COCOON 2014，亚特兰大，佐治亚州，美国，2014年8月4-6日。诉讼}，国际标准图书编号={978-3-319-08782-5}，页码={71--83}，年份={2014}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3319-08783-2_7}，关键词={68Q60,03B44,68T15}，zbMATH={6348545}，Zbl={1332.68144}}