theorem proving

定理證明

學術名詞

• 定理證明：機械工程、資訊