Concepedia
Data Archiving and Networked Services (DANS) · 1985 · 113 citations · 0 references
EngineeringAutomated ReasoningPropositional LogicFormal MethodsLogical ReasoningComputer ScienceConditional Logic