位置：成果数据库 > 期刊 > 期刊详情页
R-演算:一个修正程序规约的演算系统
  • 期刊名称：中国科学E辑
  • 时间：0
  • 页码：2002 Vol.32 No.5
  • 语言：中文
  • 相关项目：面向移动计算设备的蜂窝数据通讯技术
作者： 李未,|
同期刊论文项目
面向移动计算设备的蜂窝数据通讯技术
期刊论文 2
同项目期刊论文
基于移动代理技术的层次化IP网络管理研究