你即將離開本站

並前往http://www.hanspub.org/journal/PaperInformation.aspx?paperID=22972

基于Alloy的两个群定义的等价性验证 - 汉斯出版社

使用Alloy对群的两种定义进行了形式化描述，并通过Alloy分析器实现了对这两种群定义的自动化验证。实验结果表明，该方法可行并且具有较高的效率。 Abstract: Group theory ...

確定！ 回上一頁

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

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