4 experts in "computation logic theory" found:

Expert In:

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

Expert In:

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

Expert In:

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

Expert In:

• Computational statistics
• Machine learning theory
• Mathematical logic and applications in computer science
• Clustering