كتاب إلكتروني
Using α -ctl to Specify Complex Planning Goals
العنوان: | Using α -ctl to Specify Complex Planning Goals |
---|---|
المؤلفون: | do Lago Pereira, SilvioAff1, de Barros, Leliane NunesAff1 |
المساهمون: | Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor |
المصدر: | Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:260-271 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783540699361 9783540699378 |
---|---|
DOI: | 10.1007/978-3-540-69937-8_23 |