• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文OA文献 >命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究
【2h】

命題論理の充足可能性判定問題への符号化を用いた制約充足問題の解法に関する研究

机译：命题逻辑的命题逻辑编码求解约束满足问题的研究。

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

博士（工学）
机译：博士（工学）

著录项

  • 作者

    丹生 智也;

  • 作者单位
  • 年度 2012
  • 总页数
  • 原文格式 PDF
  • 正文语种 jpn
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号