Machine theory 10 Computer science 8 Mathematics 7 Computational complexity 6 Data processing 6 Electronic data processing 4 Logic, Symbolic and mathematical 4 Computational intelligence 3 Computer programs 3 Formal languages 3 Logic programming 3 Semantics 3 Algorithms 2 Artificial intelligence 2 Computer networks 2 Electronic digital computers 2 Finite differences 2 Foundations 2 Load factor design 2 Neural networks (Computer science) 2 Nonlinear boundary value problems 2 Polynomials 2 Programming 2 Programming (Electronic computers) 2 Programming languages (Electronic computers) 2 Testing 2 Algebra 1 Algebra, Abstract 1 Biomass energy 1 Categories (Mathematics) 1