搜索结果: 1-1 共查到“应用数学 Logic”相关记录1条 . 查询时间(0.062 秒)
A Symbolic-Numeric Approach to MPL Continuous Logic and to Rule Based Expert Systems whose Underlying Logic is MPL
Symbolic-Numeric Approach Minimal Polynomial Logic
2008/11/10
We first briefly describe an algebraic model of classical and modal many-valued logics due to the authors and introduced in previous works. A similar approach, also using Computer Algebra techniques (...