عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2854
QA
76
.
L28
Vol
.
2854
کتابخانه
محل استقرار
Utilizing problem structure in planning : a local search approach
Berlin
Springer-Verlag
c2003
xiii, 251 p.: ill., tables
Lecture notes in computer science; 5832. Lecture notes in artificial intelligence
"This book is rerised version of Jorg Hoffman's doctoral thesis".
Bibliography: p.]243[-247
ISBN: 3540202595
Jorg Hoffmann
1
، Problem solving
، Proof theory
Methodology ، Planning
QA
76
.
L28
Vol
.
2854
Hoffmann, Jorg, 1791-
AU
TI
SE Lecture notes in computer science 2854
