| Solving the Ai Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language to T | | Author:
| Butler, Ricky W. | Created by:
| Nasa Technical Reports Server (Ntrs), Et Al, | ISBN: | 978-1-289-23431-7 | Publication Date: | Jul 2013 | Publisher: | Creative Media Partners, LLC
| Imprint: | BiblioGov | Book Format: | Paperback | List Price: | AUD $32.99 |
| |