CADE
[1] International Conference on Automated Deduction (informationswissenschaftl. Veröffentlichungen)[2] Computer Aided Design and Engineering (->""IEEE" Standard Dictionary")
[3] Client/server Application Development Environment
[4] Controller/Attitude-Direct Electronics