【计】 机器证明

theorem proving machine proving theorem proving time proving ground cross proving proving room block proving correspondence proving mechanical route-proving flight theorem proving automatic theorem proving resolution theorem proving non-resolution theorem proving resolution theorem-proving automatic theorem proving research mechanical theory proving proving range proving cash