Concepedia
Studia Logica · 1987 · 40 citations · 0 references
EngineeringAutomated ReasoningModal OperatorsProbabilistic SystemProbabilistic ComputationProbability TheoryFunctional AnalysisModal Logic