2. 您的位置
3. 首页
4. 期刊论文
5. 几何代数的高阶逻辑形式化

几何代数的高阶逻辑形式化

来源 :软件学报 | 被引量 : 0次 | 上传用户：guhiayan123

【作 者】

：

马莎  施智平  李黎明  关永  张杰 

【出 处】

：

软件学报

【发表日期】

：

2016年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

槟榔提取物体外抗柯萨奇病毒B3及单纯疱疹病毒1型和乙型肝炎病毒的研究

期刊

互联网对广州地区大学生健康的影响

期刊

戴姆勒与哈曼联手打造MBUX交互式平台

期刊

全国电大系统老年教育发展调研报告

期刊

轻度胃肠炎并婴幼儿良性惊厥40例临床分析

期刊

激光共振电离质谱用钚源的制备及探测效率测定

期刊

《中英缅甸条款》(1886年)考析——兼论晚清外交之特性

期刊

日本中国环境研究回顾

期刊

Study on Differential Expression Profile of sperm miRNA between HIV/AIDS patients and Healthy Indivi

会议

腹腔镜在6月龄以内新生儿和婴儿疾病诊断和治疗中的应用(附297例报告)

期刊