Concepedia
1975 · 39 citations · 0 references
Open access
HumanitiesComputer ScienceMathematicsAlgorithmsFormal MethodsLogicBoolean AlgebraDigital Logic DesignFirst-order LogicLogic SynthesisMathematical LogicPredicate LogicLogic OptimizationMinimization Of Boolean Functions