退出
我的积分:
中文文献批量获取
外文文献批量获取
曹飞;
中国逻辑学会;
西南大学;
命题演算系统; 排中律; 不矛盾律; 反证法;
机译:介电界面上方纳米粒子的等离子杂交模型:介电效应,与二聚体系统的比较,适用范围和限制
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:基于一级通用运算模型的通用逻辑命题演算系统
机译:融洽关系:一个旨在限制浪漫关系中的数字分心的系统
机译:一个由IncA / C质粒上的甲基化酶组成的移动限制性修饰系统
机译:关于p的一个新证明完整性。一世。命题演算
机译:适用范围的雷电探测系统研究
机译:火焰防护效率限制,植被范围和蔬菜包装限制的适用范围
机译:传动系扭矩限制方法,传动系扭矩限制系统,联接至少一个驱动轴的两端的系统以及联接至少一个驱动轴驱动器的两端的方法
机译:用于增强增强型数字图像的电气设备;一种改进的生成地址的方法,用于通过以下方式提取对一个或多个像素随机访问的存储器:输入图像数字电子设备有一个限制;从至少一个输入图像中提取出的数字发生器有一个极限;改进的地址发生器电路,用于在一个或多个像素的随机存取存储器中生成地址。完美处理数字图像的电器;用于处理DA的改进方法至少一个输入图像数字电子设备具有导出输出图像处理的数字电子设备的限制;数字图像处理电路中的随机存取存储器和会议桌中的数字图像处理电路中的随机存取存储器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。