机译:如果结构化命题是逻辑程序,那么程序如何分类?
VSB Tech Univ Ostrava Dept Comp Sci 17 Listopadu 15 Ostrava 70833 Czech Republic;
Procedural semantics; Transparent intensional logic; Structured propositions; Mereology of structured procedures; Unity of propositions; synonymy; Co-hyperintensionality; Procedural isomorphism;
机译:如果结构化命题是逻辑程序,那么程序如何分类?
机译:基于电子配对优先级的刘易斯结构和施主键的明确使用的系统步骤:替代方法可以是钢笔和纸张的基于笔和纸张在用户交互式3D中的PC上
机译:计算阻尼结构不确定频率响应函数的模糊有限元程序:第1部分-程序
机译:从命题决策程序建立模态逻辑的决策程序 - 模态K *的案例研究
机译:目标结构,过程结构以及目标和过程组合结构对任务满意度的影响
机译:机械表征过程实验设计的逻辑推理框架
机译:从命题决策程序建立模态逻辑的决策程序:模态K(m)的案例研究