NUMERICAL METHODS AND PROCEDURES ; MATRIX ALGEBRA ; SPECIAL FUNCTIONS (MATHEMATICAL) ; PRIME NUMBERS ; TABLES ; ALGEBRA ; ALGEBRAS ; MATHEMATICAL PROGRAMMING;
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:素蕴和素蕴:从命题逻辑到模态逻辑
机译:非相干核系统动态可靠性分析的差分进化法确定主要蕴涵量
机译:模态逻辑中的素数蕴涵和素数蕴涵
机译:以良好的减量方式减少关联的志村品种的减量。
机译:使用增强决策表和语义归类技术的规则集缩减:应用于胆固醇指南。
机译:通过立方表示形式的布尔函数的素数和基本素数蕴涵
机译:关于素数蕴涵表的非冗余覆盖层的确定