书目详细信息 : 三维空间关系的描述及其定性推理