B method; Set theory; Automated deduction Polymorphic types; Rewriting;
机译:最优估计和决策问题中的可能性理论方法:VI。模糊集。独立。 P完成。模糊集及其参数的估计方法
机译:基于顺磁微球的自动化友好快速化学发光免疫分析方法灵敏检测鸡γ-干扰素
机译:基于所选密度函数理论方法的复合方法评估及完整基础设定外推式
机译:一种自动化的B方法集合理论
机译:考虑因素集合形成的模糊集合模型:理论,方法和使用来自在线超级市场的数据进行的校准。
机译:急性充血性心力衰竭住院的数据库查询:灵活的方法和基于集合论的验证
机译:一种自动化的B方法集合理论
机译:集合理论中的代数和组合方法;概率论