An Equational Logic Approach for Mapping Multiple-Valued Rule-Based Expert Systems into Hardware Specification Rules

David C. Rine. An Equational Logic Approach for Mapping Multiple-Valued Rule-Based Expert Systems into Hardware Specification Rules. In ISMVL. pages 308-315, 1991.

Abstract

Abstract is missing.