派生类型相关论文
古罗马哲学家波伊提乌(即鲍依修斯)构建完整的逻辑方阵以来,通过前贤不断探索,将表记对象扩展到包含两个以上命题变元组成的命题和......
从Fortran90自身提供的功能和其开发环境CVF提供的OLE自动化扩展功能二个方面出发，对派生类型复合数据的传递进行系统探讨，并通过典......
复合命题推理逻辑方阵的类型分为基本类型和派生类型。从推理形式的有效式（均为重言式）为起点,先根据推理有效式的逻辑关系为推演基......
