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

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

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 3229 || Formal Methods in Robotics

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 3229 || Formal Methods in Robotics

Alferes, Jóse Júlio; Leite, João
  • 作者Alferes, Jóse Júlio; Leite, João
  • 文件大小27.81KB
  • 发表时间2004
  • DOI10.1007/978-3-540-30227-8_3
  • 页码4-4
← 返回【学霸图书馆】主页