The mathematician developed a new logistic framework to formalize symbolic inference.
その数学者は、記号的推論を形式化するための新しい記号論理学的枠組みを開発した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
