automatic theorem proving

自動定理證明

學術名詞

• 自動定理證明：資訊