formal definition是什么意思，释义 -生物医药大词典

您现在的位置：生物医药大词典 >> 通用词典 >> 词汇解释: formal definition


formal definition	分享到：
【计】形式语义; 形式定义
分类：通用词汇 \| 查看相关文献(pubmed) \| 免费全文文献
详细解释：

以下为句子列表：英文: A formal definition of proposition formulae was provided by context-free grammar, and the conversion from proposition formulae to polynomials was solved automatically. 中文: 摘要该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法。更详细...
分享到：