科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
宋磊; 邓玉欣;
Department;
of;
Computer;
Science;
and;
Engineering,;
Shanghai;
Jiaotong;
University,;
200240,;
China;
π-演算; 公理化; 概率; 符号; 有限; 推理系统; 不确定性; 象征性;
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。