Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.
Отображаемые элементы 25-31 из 31
Темам |
---|
Real-Time Maude [2] |
Research Subject Categories::TECHNOLOGY [1] |
Rewriting logic [2] |
theorem proving [1] |
Type of access: Open Access [5] |
user interface [1] |
World Wide Web [1] |
Отображаемые элементы 25-31 из 31