1) Boolean determinant
布尔行列式
2) dual Boolean determinant
对偶布尔行列式
3) properties of Boolean determinant
布尔行列式性质
4) Hill determinant
希尔行列式
5) Boolean Sequence
布尔序列
1.
An Improved KNN Algorithm for Boolean Sequence
布尔序列的一种KNN改进算法
6) Boolean formula
布尔公式
1.
Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields,such as formal verification and electronic design automation.
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。
补充资料：对偶
修辞方式，用对称的字句加强语言的效果。如：下笔千言，离题万里。沉舟侧畔千帆过，病树前头万木春。参看〖律诗〗、〖骈文〗。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条