【quantifier_elimination】什么意思_英语quantifier_elimination的翻译_音标_读音_用法_例句_在线翻译

quantifier elimination

量词消去

...position) 、亚氏函數分解 (Ashenhurst decomposition) 、函數复合(functional composition)之量词消去(quantifier elimination)技术、布林关系(Boolean relation)之函式萃取等。 1.

基于2480个网页-相关网页

短语

elimination of quantifier 量词的消去 ; 量词消去

计算机科学技术

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句