Kleene algebras are essential in formal language theory and program verification.
クレーネ代数は形式言語理論やプログラム検証に不可欠です。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
