退出
我的积分:
中文文献批量获取
外文文献批量获取
喻光伟;
中南民族大学;
逻辑学; 线性代数; 思维; 命题; 推理;
机译:通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
机译:线性代数中学生思维方式和表现形式之间的协同作用:采用统计暗示分析
机译:线性代数中的双数逻辑操作的多值概括的特征,用于电流输出的传感器信号的数字处理任务
机译:幂等半场上扩展形式概念分析中的线性代数
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:分析分子途径分析的数据驱动的线性代数方法:抗冲击/创伤中疾病进展的应用
机译:语言逻辑分析:2005年8月在独奏市斯瓦拉扬以广告语言形式进行广告形式的逻辑审查
机译:支持事故分析的逻辑形式的优缺点
机译:具有人工智能的机器人的一些主要部分的描述和逻辑操作,该机器人使用数字形式的通用含义,形式为树,而该子目录中还包含其他代码。
机译:提供了一种用于数字电源的设备和方法,其可以为两个或更多个电负载提供独立的功率控制。一些公开的实施例提供连续的和可变的功率,而其他公开的实施例提供离散的功率电平。一些描述的实施例可以减小引入电力系统中的谐波和/或闪烁电流的大小。一些实施例包括微处理器,该微处理器使用相控交流电将功率传递给电负载。在一些实施例中,微处理器可以为每个电负载计算与所请求的功率相对应的功率矩阵,提供逻辑以减小谐波和闪烁电流的大小的模式来填充功率矩阵。披露部分包括支票
机译:f3用算术公理对任意形式的“ [1,2Sgh1] f(2a)和[1,2Sgh2] f(2n)”定额格式的“ g”数字实施解码程序的任意g功能数字加法器功能结构(SIGMACD)标记f(+ 1,0,-1)和双逻辑微分d1,2 / dn-f1,2(+-)d / dn的“等级2”有效参数和有效逻辑零“ +1”的删除“ 1级”中的“ -1”-“ 0”(俄罗斯逻辑版本)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。