Normal view
MARC view
Alexandre Madeira, Mário Benevides(Personal Name)
Machine generated authority record
Work cat.: (OSt)1628136: Alexandre Madeira, Mário Benevides, Dynamic Logic. New Trends and Applications