你即將離開本站

並前往https://www.semanticscholar.org/paper/%E5%9F%BA%E4%BA%8EAlloy%E7%9A%84%E4%B8%A4%E4%B8%AA%E7%BE%A4%E5%AE%9A%E4%B9%89%E7%9A%84%E7%AD%89%E4%BB%B7%E6%80%A7%E9%AA%8C%E8%AF%81-Automated-Verification-of-of-on-%E9%82%B9%E7%A7%91-%E6%B1%9F%E5%BB%BA%E5%9B%BD/9c38d47bcd9e04cd0605b4fc5b3f55d40c528483

基于Alloy的两个群定义的等价性验证Automated Verification of ...

群论是代数系统中的重要组成部分。本文提出一种使用Alloy验证群论中定理的新方法。使用Alloy对群的两种定义进行了形式化描述，并通过Alloy分析器实现 ...

確定！ 回上一頁

查詢 「alloy定義」的人也找了：

  1. 合金定義
    2.
  2. substitutional alloy中文
    3.
  3. interstitial alloy中文
    4.
  4. Substitutional alloy
    5.
  5. 合金共價鍵
    6.
  6. 合金是混合物還是化合物
    7.
  7. 合金是什麼材質
    8.
  8. 合金飾品
    9.