In the seminar, she presented a new proof technique for FOL that simplifies model construction.
セミナーで彼女は、一階述語論理のモデル構成を簡素化する新しい証明手法を発表した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
