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

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

Conformant planning via symbolic model checking and heuristic search

Conformant planning via symbolic model checking and heuristic search

A. Cimatti; M. Roveri; P. Bertoli

作者A. Cimatti; M. Roveri; P. Bertoli
卷第159卷
印刷ISSN0004-3702
文件大小4007.06KB
发表时间2004
DOI10.1016/j.artint.2004.05.003
页码127-206

← 返回【学霸图书馆】主页