Computer logic 42 Computer science 13 Artificial intelligence 8 Mathematical logic 8 Software engineering 7 Mathematics 6 Programming languages (Electronic computers) 5 Computer programming 4 Set theory 4 Algorithms 3 Computers 3 Logic, Symbolic and mathematical 3 Binary system (Mathematics) 2 Boolean logic 2 C++ (Computer program language) 2 Electronic information resource searching 2 Inconsistency (Logic) 2 Information retrieval 2 Integrated circuits 2 Intelligent agents (Computer software) 2 Knowledge management 2 Logic design 2 Machine learning 2 Machine theory 2 Microsoft Visual Basic 2 Structured programming 2 Automatic theorem proving 1 Computational complexity 1 Congresses 1 Data processing 1