首页
|
帮助
|
阅读器下载
|
插件下载
|
登录
中国博士学位论文全文数据库
用于指针逻辑的自动定理证明器的设计与实现
【作者】
王振明
;
【导师】
陈意云;
【作者基本信息】
中国科学技术大学
, 计算机软件与理论, 2009, 博士