In the seminar, we explored different temporal logics to understand their expressiveness and limitations.
セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
