8 experts in "logic programming" found:

Expert In:

• Parallel programming
• Programmable logic devices
• Computer architecture
• Computer arithmetic

Expert In:

• Computer science and mathematical logic
• Mathematical foundation of programming languages

Expert In:

• Object-oriented programming
• Universal logic for knowledge representation
• Agent systems
• Enabling-technology for eLearning

Expert In:

• PLCs or Programmable Logic Controls
• Assembly line controls
• Carbon nano-tubes
• Electrical Accident reconstruction

Expert In:

• Programming languages
• Type theory and logic
• Algorithms and complexity
• Certified software

Expert In:

• Mathematical logic
• Program analysis
• Proof Complexity and Mathematical Logic
• Automated testing

Expert In:

• Computation logic theory
• Program semantics
• Automatic proof checking
• Computability over abstract algebras

Expert In:

• Low-power Field Programmable Gate Arrays
• Quantum logic
• Computer security
• Embedded system security