退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:形式逻辑及其在医学中的应用概述-I.
J K Slaney;
机译:模糊逻辑在正式和非正式R D公司中促进产品创新的人力资源管理实践的应用
机译:Web应用程序正式规范和验证的重写逻辑方法
机译:基于通用逻辑的形式本体在装配知识共享中的应用
机译:通过度量时间逻辑进行数据密集型应用程序的形式验证
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:形式逻辑及其在医学中的应用概述-II。
机译:用于提取多维特征向量空间中的图案分布的轮廓图案的轮廓图案数据提取装置及其应用
机译:为使逻辑地址服务启动方法中需要应用逻辑的附加逻辑地址服务启动的逻辑地址服务启动方法,以及提供逻辑地址管理装置和应用执行装置的系统以及容纳该逻辑的存储介质地址
机译:具有主要/辅助应用程序客户端逻辑的移动通信系统,其中客户端逻辑设置有提供客户端逻辑驱动/接收响应/监督的客户端应用程序分离的应用程序。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。