机器证明 – phrases

Terms for subject Technology containing 机器证明 | all forms | in specified order only

Chinese	English
定理的机器证明	mechanical theorem proving