A step-by-step procedure, like an algorithm, but which is not guaranteed to halt on all inputs.
semi-algorithm
研究者は、すべての入力で停止することが保証されないアルゴリズムに似た手順を実装し、すべての有効な証明を列挙した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★