Normal view
MARC view
Soares Barbosa, Luís (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): DaLí (Internaional Workshop) (2nd : 2019 : Porto, Portugal) 69286, Dynamic logic :