退出
我的积分:
中文文献批量获取
外文文献批量获取
雷弯山;
中国逻辑学会;
应用逻辑; 学术研讨会; 逻辑应用; 研讨会综述; 省委党校; 中国人民大学; 专业委员会; 中国逻辑;
机译:组合逻辑:纯逻辑,应用逻辑和类型逻辑
机译:21年预测的半导体全球市场,21%的发展应用逻辑IC伸长率的特定应用
机译:TorbenBraüner,《混合逻辑及其证明理论》,《应用逻辑》第37卷,施普林格,2011年,第XIII + 231页。书号:978-94-007-0001-7(精装)99,95欧元,书号:978-94-007-0002-4(电子书)99,99欧元
机译:论正式理论建设的标准:应用逻辑与自动推理工具对社会科学
机译:应用逻辑缺陷课程模块。
机译:加强局部LED解决方案以实现通用健康覆盖:贝宁纳米比亚和乌干达的应用逻辑模型
机译:《超宇宙论》中的附录和勘误的选择原则《纯粹逻辑与应用逻辑》(77)(1996)35–52
机译:容错定序器使用基于FpGa的空间应用逻辑设计。
机译:为使逻辑地址服务启动方法中需要应用逻辑的附加逻辑地址服务启动的逻辑地址服务启动方法,以及提供逻辑地址管理装置和应用执行装置的系统以及容纳该逻辑的存储介质地址
机译:用于允许第一计算机程序执行第二计算机程序的应用逻辑,获取第一计算机程序和计算机程序的第二接口的方法和装置的方法和装置,用于第一计算机程序的计算机程序和软件接口可以执行第二计算机程序的应用程序逻辑,以生成计算机程序代码,提供的方法(计算机程序接口)
机译:用于使第一计算机程序执行第二计算机程序的应用逻辑,用于使第一计算机程序和第二计算机程序接口的方法和装置以及用于为其生成计算机程序代码的装置,计算机程序和用于使第一计算机程序能够执行第二计算机程序的应用程序逻辑以提供信息(计算机程序接口)
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。