Items where Author / Artist / Editor is "Wooldridge, Michael"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Symbolic model checking for one-resource RBĀ±ATL. Yang, Qiang and Wooldridge, Michael, eds. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina. ISBN 9781577357384. [Conference or Workshop Item]

This list was generated on Fri Dec 4 05:09:22 2020 GMT.