7 experts in "computational logic" found:

Expert In:

• Applied logic
• Combinatory logic
• computational logic
• mathematical logic

Expert In:

• Computation and logic interaction

Expert In:

• Computation logic theory
• Automatic proof checking
• Computability over abstract algebras
• Logical foundations of software documentation

Expert In:

• Computational cognitive science
• Logic

Expert In:

• Computational learning theory
• Mathematical logic
• Quantum computation
• Coding theory

Expert In:

• Computational Complexity
• Logic in computer science
• Theory of computation
• Cryptography

Expert In:

• Computational statistics
• Mathematical logic and applications in computer science
• Clustering
• Human centred applications of machine learning