Several Automatic Reasoning Problems Based on Contours

• 基于等高线的几个自动推理问题