Items where Author / Artist / Editor is "Boureanu, Ioana"

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

Gorogiannis, Nikos, Raimondi, Franco and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia. (doi:10.24963/ijcai.2017/30)

This list was generated on Sun Oct 20 05:13:07 2019 BST.