Електронний каталог

• Класифікатори
• 519.71 Теорія керуючих систем:математичні аспекти

519.717 Тотожні перетворення. Системи правил перетворення