predicate logic of higher order

　
英 美
  • 高階謂詞邏輯

Predicate logic of higher order的用法和樣例：

例句

  1. This is not expressible as a first-order predicate calculus property.
    這就是一個(gè)一階謂詞演算不可表述的屬性。

Predicate logic of higher order的相關(guān)資料：

臨近單詞

今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan