Concepedia
Mathematics and Computers in Simulation · 1989 · 582 citations · 0 references
HumanitiesComputer ScienceMathematicsFormal MethodsKnowledge RepresentationLogicBoolean AlgebraDeductive ReasoningDigital Logic DesignFirst-order LogicPredicate LogicTemporal LogicBoolean Function DecompositionComputational LogicLogic Gate Networks