发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Using incomplete satisfiability modulo theories to determine robotic tasks

[IEEE 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2013) - Tokyo (2013.11.3-2013.11.7)] 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems - Using incomplete satisfiability modulo theories to determine robotic tasks

Witsch, Andreas; Skubch, Hendrik; Niemczyk, Stefan; Geihs, Kurt
  • 作者Witsch, Andreas; Skubch, Hendrik; Niemczyk, Stefan; Geihs, Kurt
  • 文件大小283.74KB
  • 发表时间2013
  • DOI10.1109/iros.2013.6697046
  • 页码4784-4789
← 返回【学霸图书馆】主页