咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 文学
    • 3 篇 中国语言文学
  • 2 篇 教育学
    • 1 篇 教育学
  • 2 篇 工学
    • 2 篇 计算机科学与技术...

主题

  • 3 篇 红毛丹
  • 2 篇 定理证明方法
  • 1 篇 高阶逻辑定理证明...
  • 1 篇 男人
  • 1 篇 屁股坐
  • 1 篇 一朵花
  • 1 篇 私人空间
  • 1 篇 红蚁
  • 1 篇 辛辣味
  • 1 篇 目标制导法
  • 1 篇 我自己
  • 1 篇 父亲
  • 1 篇 三层楼
  • 1 篇 登高望远
  • 1 篇 教育
  • 1 篇 定理证明器hol
  • 1 篇 油棕
  • 1 篇 两层楼
  • 1 篇 学习共同体
  • 1 篇 线性空间理论

机构

  • 2 篇 北京化工大学
  • 1 篇 首都师范大学
  • 1 篇 杭州科技职业技术...

作者

  • 3 篇 钟怡雯
  • 2 篇 毛丹雯
  • 1 篇 施智平
  • 1 篇 张杰
  • 1 篇 关永
  • 1 篇 朱嘉雯
  • 1 篇 陈韵雯
  • 1 篇 毛建云
  • 1 篇 毛丹青

语言

  • 7 篇 中文
检索条件"作者=毛丹雯"
共 7 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
线性空间理论在定理证明器HOL中的形式化
线性空间理论在定理证明器HOL中的形式化
收藏
分享
引用
作者： 毛丹雯 北京化工大学
学位级别：硕士
目前，计算机系统的设计正确性检验问题已成为人们关注的重点，形式化方法就是一种新兴的系统设计验证方法，它有效地弥补了传统的测试、模拟等方法在系统设计验证中的“不完备性”问题。本文以一种典型的形式化方法——定理证明方法为... 详细信息
来源： 同方学位论文库 同方学位论文库 评论
雨林
收藏
分享
引用
山花 2024年 第1期 82-89页
作者： 朱嘉雯
河岸边金色光焰在夜雾里轮转两圈便统统消停了声响，林森循着火光站起身来，望见余烬在风里抖动沉落，渐渐委顿于茅草丛之间，萤火虫一般流向黑暗。满地爆竹残片红毛丹果壳一样柔软，放泄了声光过后仍然有余温，热力渗透河床两岸沙石，...
来源： 同方期刊数据库 同方期刊数据库 评论
重写对策在基于HOL的形式化证明中的应用
收藏
分享
引用
计算机工程与设计 2013年 第10期34卷 3664-3668页
作者： 张杰 毛丹雯 关永 施智平 北京化工大学信息科学与技术学院 北京100029 首都师范大学信息工程学院 北京100048
讨论了重写对策在基于高阶逻辑定理证明系统HOL的形式化证明过程中的应用。通过REWRITE_TAC对策、ASM_REWRITE_TAC对策和RW_TAC对策,详细分析了重写对策的功能、应用方法、应用环境、应用中可能出现的问题以及解决办法,给出了DB.match... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
校企合作视野下企业员工学习共同体构建的探索与实践
收藏
分享
引用
南京广播电视大学学报 2018年 第3期 57-61页
作者： 陈韵雯 毛丹青 毛建云 杭州科技职业技术学院 浙江杭州311400
在企业员工学习共同体的基本概念和特征初步界定的基础上,分析校企合作视野下企业员工学习共同体构建的现状和困难,对企业员工学习共同体构建的策略和方向进行探索与实践。
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
位置
收藏
分享
引用
散文(海外版) 2007年 第5期 40-41页
作者： 钟怡雯
从小就爱爬树,直到高中毕业,我还改不掉上树的习惯。有位久未见面的长辈一见我就说,哎呀!十八姑娘一朵花啦,你还喜欢爬树吗?印象停格在十年前第一次来我家。那天我藏身红毛丹树上,远远见到一个人顶着花花的大太阳,从斜坡缓步上来。家里... 详细信息
来源： 同方期刊数据库 同方期刊数据库 评论
位置
收藏
分享
引用
文学教育(上) 2007年 第9期 13-14页
作者： 钟怡雯
从小就爱爬树,直到高中毕业,我还改不掉上树的习惯。有位久未见面的长辈一见我就说,哎呀!十八姑娘一朵花啦,你还喜欢爬树吗?印象停格在十年前第一次来我家。那天我藏身红毛丹树上,远远见到一个人顶着花
来源： 同方期刊数据库 同方期刊数据库 评论
愿望挂在树上,去眺望
收藏
分享
引用
快乐阅读 2015年 第3期 21-页
作者： 钟怡雯
从小我就爱爬树,直到高中毕业,我还改不掉上树的习惯。有位久未见面的长辈一见我就说:"哎呀!十八姑娘一朵花啦,你还喜欢爬树吗?"印象还停格在十年前他第一次来我家。那天我藏身红毛丹树上,远远见到一个人顶着大太阳从斜坡缓步走来。家... 详细信息
来源： 维普期刊数据库 维普期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件