托马斯·奥尼尔(Thomas O'Neil)和杰森·史密斯(Jason Smith:The Representative Power of Conjunctive Normal Form)(2006) conf/fcs/ONeilS06 连接范式的表现力。 2 托马斯·奥尼尔 1 杰森-史密斯 2 175-181 未来作战系统 未来作战系统 2006 2006 dblp记录“conf/fcs/ONeilS06”的RDF数据的来源信息 2007-01-02T10:31:32+0100