FABULA公司 swMATH ID: 30213 软件作者： 北卡罗来纳州加里尼亚。；Khegaj，Zh。E.公司。 描述： FABULA系统中布尔代数问题公式转换的实现工具。本文的目的是研究布尔代数中公式变换的实现算法。考虑了基本转换，例如最小形式的评估和规则的应用。它们的实现是通过FABULA计算机代数系统实现的。 主页： https://zbmath.org/？q=an%3A0951.68052（中文） 关键词： 符号操作；计算机代数；布尔代数 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 FABULA系统中布尔代数问题公式转换的实现工具。 Zbl 0951.68052号北卡罗来纳州加里尼纳。；Khegaj，Zh。E.公司。 1999 2位作者引用 1 北卡罗来纳州加里尼纳。 1 Khegaj，Zh。E.公司。 0连载引用 在2个字段中引用 1 数理逻辑与基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文