你即將離開本站

並前往https://www.hindawi.com/journals/jam/2014/201214/

Formalization of Function Matrix Theory in HOL - Hindawi

The formalization is implemented as a library in the HOL system. A case study, a formal analysis of differential of quadratic functions, is presented to show ...

確定！ 回上一頁

查詢 「Formalization」的人也找了：

  1. formalization中文
    2.
  2. Formalization
    3.
  3. Degree of formalization
    4.
  4. Formalized
    5.
  5. Formalize synonym
    6.
  6. Formulate
    7.
  7. Formulated
    8.
  8. Formalize meaning
    9.