...
机译:命题逻辑在工作流分析中的应用
Graphs; Classical propositional logic; Workflows; Process modeling; Business processes;
机译:命题逻辑在工作流分析中的应用
机译:几种命题逻辑系统中命题优劣的统一集成方法及其应用
机译:使用命题逻辑进行服务工作流的需求验证
机译:通过命题逻辑验证非结构化工作流程
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:逻辑Petri工作流网和工作流网之间的等效性
机译:命题逻辑在工作流分析中的应用