検索内容:
その数学者は証明を形式化するために新しい形式体系を開発した。
研究者はどれが人間の推論を最もよくモデル化するかを判断するために、いくつかの論理体系を評価した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★