退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于LISP在实现指称语义中的使用
Peter Lee; Uwe Pleban; PPeter Lee;
机译:将指称语义与Web服务的操作语义链接
机译:从Verilog的代数语义到指称语义
机译:用逻辑编程实现指称语义
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:基于知识的临床决策支持方法通过在LISP中实现的关联存储模型在TETANUS血清学中的应用
机译:指挥口译员的表示语义及其在标准ml中的实施
机译:语义域和指称语义。
机译:应用语义保证表示的方法和系统
机译:确定应用语义的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。