机译:祈使逻辑的新基础III:论证有效性的一般定义
Argument validity; Imperative logic; Inconsistency;
机译:祈使逻辑的新基础III:论证有效性的一般定义
机译:论证逻辑的基础
机译:绝对命令:范畴理论作为道义逻辑的基础
机译:模块化,抽象和封装的统一定义作为基础多范式软件工程原则的一步
机译:保护势在必行:电影保护领域中具有竞争力的价值定义。
机译:多种病态老年人的多药定义需要更坚实的基础来指导研究临床实践和公共卫生
机译:指令逻辑的新基础III:论证有效性的一般定义*
机译:任务级编程的命令式语言:时态逻辑中的定义