甲百匯小鸡词典

provable logic

P 开头单词

基本解释

  • [電子、通信與自動控制技術]可証性邏輯

专业释义

    電子、通信與自動控制技術

  • 可証性邏輯

    Presented a formal method based on provable logic that can analyze non-repudiation, fairness and timeliness.
    2.提出了一種基於可証性邏輯的,能同時分析非否認性、公平性與時限性的形式化分析方法。