×

联系我们

服务邮箱
15195844397@163.com
客服电话
15851303988
专属客服
微信二维码
小程序二维码
查询阈值 100条(今日已查询0)
选题分析 次(总计已使用1)
积分余量 0

积分充值

选择以下套餐进行积分充值
¥1000
获得 1000 积分
额外赠送 1500 积分
¥500
获得 500 积分
额外赠送 500 积分
¥200
获得 200 积分
额外赠送 200 积分
支付二维码
正在生成支付码...

充值特权

  • 额外赠送积分
  • 选题分析
  • 项目检索
  • 下载完整选题报告
  • 下载结题报告
支付即视为您同意《五星科研服务协议》,虚拟商品不支持退款
※部分功能或服务需要解锁会员权限后方可使用积分支付,单独充值积分无需解锁会员
※积分可用于:项目检索、选题分析、下载选题报告、下载结题报告、AI申报助手等

测试一阶逻辑可定义图性质

负责人员: 韦立

依托单位: 贵州师范大学

浏览次数: 7

返回基金查询
61309006
测试一阶逻辑可定义图性质
登录查看
韦立
登录查看
登录查看
贵州师范大学
登录查看
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 成果产出
  • 项目参与人
  • 关键词选题
每页显示:
序号 标题 类型 作者
    序号 姓名 职称 单位
    1 谢刚 讲师 贵州师范大学
    2 吴宗显 讲师 贵阳学院
    3 瞿云云 副教授 贵州师范大学
    4 熊祥光 助教 贵州师范大学
    5 柴斌 助教 贵州师范大学
    6 谢刚 讲师 贵州师范大学
    7 吴宗显 讲师 贵阳学院
    8 瞿云云 副教授 贵州师范大学
    9 熊祥光 助教 贵州师范大学
    10 柴斌 助教 贵州师范大学

    以下是从项目中提取的相关关键词,点击选题分析按钮快速进行关键词选题分析

    序号 关键词 操作
    1 图性质
    2 复杂性分析
    3 性质测试
    4 算法设计
    5 可定义

    负责人相关项目

      未查询到该负责人的其他项目

    加载中...