Explore 2 AI terms in 形式手法
自動定理証明（ATP）は、アルゴリズムを用いて数学的定理を証明することに焦点を当てたコンピュータサイエンスの分野です。
定理証明は、形式論理を用いて命題の真偽を検証する数学およびコンピュータサイエンスの方法です。
