検索内容:
研究者たちは、どの論理言語が複雑な数学的証明を最も適切に表現できるかを判断するために、いくつかの論理言語を比較した。
委員会は、曖昧さのない仕様を書くための標準として論理言語を採用するかどうかを議論した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★