The quality of being formalizable.
formalizability
研究者たちは、証明支援システムに実装しようとする前に、その新しい理論の形式化可能性について議論した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★