退出
我的积分:
中文文献批量获取
外文文献批量获取
程丽琴; 方正;
东南大学马克思主义学院;
浙江生态文明干部学院;
南京理工大学马克思主义学院;
“三个务必”; 初心使命; 党的作风; 斗争精神;
机译:在演绎数据库中更新内涵谓词
机译:验证逻辑中的发现:在假设演绎演绎中故意出现,补充和替代归纳推理
机译:演绎法和色彩演绎法:通过教育游戏增强逻辑推理
机译:全球视野中生态文明的哲学内涵,生成逻辑与施工路径
机译:关于演绎主义:对非正式逻辑中演绎主义的批判性考察。
机译:临床实践中的自我认识和演绎艺术
机译:从拓展到内涵知识:归纳逻辑编程技术及其在演绎数据库中的应用
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行
机译:多数表决电路对至少三个逻辑输入信号敏感,生成系统时钟信号,处理多数表决。产生时钟信号引线,并测试逻辑中多个输入信号的多数表决,并且,多个输入信号的多数表决;
机译:实践程序生成器和实践程序生成处理程序
机译:三输入算术逻辑单元,能够通过移位器和/或掩码生成器执行所有可能的三个操作数布尔运算
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。