Yes that's right, but most cars with autoclutch have fully automatic transmission with the possibility to chose the gears yourselfs. There aren't so many real semi-manual cars, the only one I know myself is the Smart.
No real sportscars use an Auto with manual selection.
Those that do: Alfa Q-tronic, Aston Touchtronic, JaguarDrive, Mercedes AMG speedshift, Porsche Tiptronic.
The first Semi-manuals were normal Manual boxes and clutches but operated
by hydraulics.
Such as: Aston Sportshift, Audi R8 R-Tronic, BMW's SMG, Ferrari F1, Lambourghini E-gear, Smart Softtip, Vauxhall Easytronic.
The latest Dual clutch boxes are still manuals with hydralics, just much more advanced.
E.g. Audi S-Tronic, BMW M3 DCT, Bugatti DSG, Ferrari DCT, Ford Focus Powershift, Mitsubishi Evo SST, Nissan GTR DCT, and Seat/Skoda/VW DSG.
A friend of mine has a VW Golf GTi with DSG, and I have to admit it's pretty amazing. The speed and smoothness of gear changes is what you'd expect from a video game, not from a real car.