退出
我的积分:
中文文献批量获取
外文文献批量获取
唐月;
渤海大学信息科学与技术学院 信息科学与技术 辽宁锦州 121000;
Java语言; 类和多态性; 公理语义;
机译:将语义验证器集成到Java语言编译器中
机译:关于类Java语言的灵活动态特征替换
机译:用类Java语言保护类初始化
机译:为类似Java语言的形式化的语义进行动画
机译:一种类型的编程语言:等级多态性的语义
机译:SOD定律:法律原理公理定理假说ETC等的汇编。治理人类状况
机译:针对类Java语言的类型健全性的同步大步操作语义
机译:逻辑数据库中被动和主动更新的公理化,声明语义和操作语义
机译:用JAVA语言代码创作和使用通用类
机译:使用本体,信念公理,信念断言,前提公理和前提断言进行假设验证
机译:根据寡核苷酸生物微芯片(人类芯片)对人类基因组的单核苷酸多态性进行遗传识别的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。