Normal view
MARC view
- Martí-Oliet, Narciso
Martí-Oliet, Narciso (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Clavel, Manuel. 326096, All About Maude - A High-Performance Logical Framework, 2007.