Mathematical logic ; Automation ; Computer calculations ; Mathematical models ; Programming;
机译:布尔代数在汽车液压制动系统泄漏条件建模中的应用。
机译:布尔代数在汽车液压制动系统泄漏条件建模中的应用。
机译:质疑通过渐进模型和难度计算Promexa移动应用程序
机译:自动生成模型和反例,并将其应用于三元布尔代数中的开放问题
机译:当布尔代数是地面模型中的适当类时,集合论的布尔值模型。
机译:通过模型归约和计算代数对布尔分子网络模型进行稳态分析
机译:三元布尔代数的单个恒等式