退出
我的积分:
中文文献批量获取
外文文献批量获取
成岗; 张运桢;
不详;
函数; 解释编译系统; 程序语言; 逻辑;
机译:一种基于广义分布语义的新型概率约束逻辑程序设计语言
机译:一种框架时序逻辑程序设计语言
机译:超标量处理器验证,通过将未解释函数的相等逻辑有效地简化为命题逻辑
机译:排队网络仿真逻辑程序设计语言及其处理系统的研究
机译:解释逻辑回归模型的一致性统计量:与连续解释变量的方差和优势比的关系
机译:TLsim和EVC:一个术语级符号模拟器和一个有效的决策程序,用于平等的逻辑与未解释的函数和记忆
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑
机译:用于工业铸造的集成电路,其逻辑锥包括位于逻辑锥中的逻辑模块,其中该模块实现与另一个逻辑锥的非功能连接,并且使用设置文件应用布尔函数
机译:秘密互动函数计算系统,秘密逻辑回归计算系统,秘密互相函数计算装置,秘密逻辑回归计算装置,秘密六曲面函数计算方法,秘密逻辑回归计算方法和程序
机译:隐藏的SIGMOID函数计算系统,隐藏的逻辑回归计算系统,隐藏的SIGMOID函数计算设备,隐藏的逻辑回归计算设备,隐藏的SIGMOID函数计算方法,隐藏的逻辑回归方法和计算方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。