Keyphrases
- bounded model checking
- modal logic
- predicate logic
- logic programming
- multi valued
- deductive reasoning
- set theory
- real time
- evolutionary algorithm
- data structure
- website
- neural network
- probability theory
- logical framework
- artificial intelligence
- data mining
- data abstraction
- epistemic logic
- asynchronous circuits
- natural deduction
- proof theory
- logic synthesis
- data sets