最終更新日：2024/08/05
(computing theory) A theorem that establishes a limit on the extent to which an algorithm can decide whether certain mathematical expressions are equal.
正解を見る
Richardson's theorem
編集履歴（0）
元となった辞書の項目
Richardson's theorem
name
