查尔斯·乔丹和托马斯·齐格曼:关于拉姆齐类的可测试性的注释。(2010年) conf/tamc/约旦Z10 10.1007/978-3-642-13562-0_27 关于拉姆齐类的可测试性的注记。 2 查尔斯·乔丹 1 托马斯·齐格曼 2 296-307 TAMC公司 TAMC公司 2010 2010 dblp记录“conf/tamc/JordanZ10”的RDF数据的来源信息 2017-05-21T00:19:54+0200