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

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

Conference or Workshop Item

Gorogiannis, Nikos and 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.

This list was generated on Sat Feb 23 04:38:59 2019 GMT.