Mathematical Logic and Formal Languages Mathematical logic Data Mining and Knowledge Discovery Data mining Natural Language Processing (NLP) Natural language processing (Computer science) Application software Artificial Intelligence Artificial intelligence Computation by Abstract Devices Computer Appl. in Social and Behavioral Sciences Computer logic Computer science—Mathematics Computers Image Processing and Computer Vision Logics and Meanings of Programs Optical data processing Symbolic and Algebraic Manipulation