退出
我的积分:
中文文献批量获取
外文文献批量获取
杨秀梅; 关永; 施智平; 吴爱轩; 张倩颖; 张杰;
首都师范大学信息工程学院轻型工业机器人与安全验证北京市重点实验室 北京100048;
北京化工大学信息科学与技术学院 北京100029;
函数矩阵; 微积分性质; 形式化验证; 高阶逻辑定理证明;
机译:逻辑作为微积分对逻辑,语言作为微积分对语言,语言作为微积分对语言作为通用媒介,以及语法对语义
机译:高阶逻辑中可靠性框图的形式化
机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:迈向高阶逻辑分数阶微积分的形式化
机译:显式相关的高斯基函数:使用矩阵微积分求矩阵元素和梯度公式的实现
机译:矩阵反馈可实现细胞外矩阵的多种高阶模式
机译:走向高阶逻辑中分数阶微积分的形式化
机译:双线性四边形和高阶基函数的矩阵元的计算。
机译:两级解码器电路,使用阈值逻辑对高阶位进行解码,并使用二极管矩阵逻辑对低阶位进行解码
机译:逻辑矩阵网络生成n个变量的任意逻辑函数。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。