During the seminar, she presented five propositional calculi and compared their expressive power.
ゼミで彼女は5つの命題論理体系を提示し、それらの表現力を比較した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★