退出
我的积分:
中文文献批量获取
外文文献批量获取
贺海波;
华中师范大学政治学研究院;
计划经济; 市场经济; 利益表达; 逻辑特性;
机译:通过替换逻辑表达式并转换为标准格式的逻辑程序的计算过程
机译:从上游设计到模型检查过程的集成设计验证环境-从UML描述到SPIN模型检查仪器过程定义和线性时相逻辑表达式的自动转换方法
机译:关于高级验证中等效逻辑表达式的转换方法
机译:将具有嵌套表达式的逻辑程序多项式转换为析取逻辑程序:初步报告
机译:超常一致性的逻辑和合理性(牧师的逻辑故事,可恶的谎言和赦免)。
机译:逻辑分析竞争利益平衡下应对公共新兴传染病的应急管理法律制度的逻辑分析 - 科维德 - 19的案例
机译:消费者转换决策的不合理性:当更多的公司意味着更少的利益
机译:利益相关者决策逻辑建模:黎巴嫩真主党的个案研究
机译:包括自然语言和数学公式的复合句转换为逻辑表达式,装置和计算机可读记录介质的方法及其程序
机译:用程序语言将包括自然语言和数学公式在内的复合句子转换成逻辑表达,装置和计算机可读记录介质的方法
机译:将条件表达式从非Verilog硬件描述语言转换为Verilog硬件描述语言并同时保留适用于逻辑综合的结构的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。