Methods and tools for knowledge verification in intelligent machine-building CAD systems

Moscow

160 pp.