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