NiBLoS公司 swMATH ID: 24409 软件作者： A.维达尔。 描述： NiBLoS：一个不错的BL逻辑解算器。（大多数基于BL-链的模糊逻辑的求解器）。 主页： 网址：http://uivty.cs.cas.cz/~amanda/files/2012/TESINA.pdf 相关软件： z3型;GLPK公司;Yices公司;SMT-LIB公司 引用于： 1文件 4位作者引用 1 卡洛斯·安索特吉 1 米克尔波菲尔 1 很多，费利普 1 马图·维拉雷特 连载1篇 1 模糊集与系统 在2个字段中引用 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文