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更多例句

专业释义

计算机科学技术

• 形式化逻辑语言