退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:混合时态逻辑在数据字上的表现力
Kara Ahmet; Schwentick Thomas;
机译:具有多个数据值的单词的时间逻辑
机译:度量时间逻辑在有界定时词上的表现力
机译:有限词的一阶逻辑的表达性和简洁性。
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:论时态逻辑对有限词的表达能力
机译:时态逻辑编程是完整和富有表现力的
机译:生成具有可变扩展因子的正交码可以以极低的电路成本生成码字-涉及计算计算索引,存储为二进制字,计算计算索引数据字宽,交换有效数据位,逻辑处理
机译:串行视频数据接收和同步电路-使用多数逻辑从同步中恢复字同步。具有时钟恢复的数据流中的字
机译:用于查询表达性关键字访问结构的文档的加密数据库的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。