...position) 、亚氏函數分解 (Ashenhurst decomposition) 、函數复合(functional composition)之量词消去(quantifier elimination)技术、布 林关系(Boolean relation)之函式萃取等。 1.
基于2478个网页-相关网页
elimination of quantifier
量词消去
基于1个网页-相关网页
短语
量词消去算法
quantifier elimination algorithm
量词的消去
elimination of quantifiers
-
quantifier elimination
- 引用次数:1
参考来源 - 混合系统的算法分析
·2,447,543篇论文数据,部分数据来源于NoteExpress