人工智能 自动推理 释文 Knuth-Bendix completion 克努特-本迪克斯完备化
- plane air conditioning
- plane algebraic curve
- plane algebraic element
- plane analytic geometry
- plane and volume hologram
- plane angle
- plane angle of a dihedral angle
- plane angle of dihedral angle
- plane antenna
- plane at infinity
- plane circular restricted three-body problem
- plane component
- plane-concave lens
- plane configuration
- plane control survey
- plane-convex lens
- plane coordinate
- plane coordinates
- plane cubic
- plane curve
- plane curve location
- plane cutting
- plane dihedral angle
- planed immunization
- plane division by circles