Normal view
MARC view
Velázquez-Quesada, Fernando R(Personal Name)
Machine generated authority record
Work cat.: (UDJG)57177: Dynamic Logic. New Trends and Applications