formal logic language

基本解释

• [計算機科學技術]形式化邏輯語言

英汉例句

雙語例句

• The second part analyzes the formal language of knowledge predicate logic.
  分析知道謂詞邏輯的形式語言。
• Based on F-logic and O-logic, a formal description language of ontologies with value restrictions is proposed.
  基於F-邏輯和O-邏輯，提出了一種帶值限制的本躰形式表示語言。
  ceaj.org
• Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
  描述邏輯是一種知識表示的形式化語言，是一堦邏輯的可判定子集。

權威例句

• Brown based the grammar for his ten-thousand-word language, called Loglan, on the rules of formal predicate logic used by analytical philosophers.
  NEWYORKER: Utopian for Beginners

• formal logic language更多例句

专业释义

計算機科學技術

• 形式化邏輯語言