Computer science 45 Mathematics 45 Congresses 22 Logic, Symbolic and mathematical 10 Computer programming 5 Electronic data processing 4 Machine theory 4 Programming languages (Electronic computers) 3 Artificial intelligence 2 Computational complexity 2 Data processing 2 Database management 2 Numerical analysis 2 Algorithms 1 Bibliography 1 Binary system (Mathematics) 1 Computable functions 1 Computers 1 Expert systems (Computer science) 1 Mathematical models 1 Neural networks (Computer science) 1 Octal system 1 Periodicals 1 Programmed instruction 1 Research 1 Semantics 1 Sematics 1 Software engineering 1 Study and teaching 1 Textbooks 1