Keyphrases
- random access memory
- multi valued
- logic programming
- proof theory
- neural network
- logic synthesis
- information systems
- data structure
- classical logic
- real time
- digital circuits
- linear array
- set theory
- covering arrays
- programmable logic
- asynchronous circuits
- deontic logic
- abductive reasoning
- genetic algorithm
- machine learning
- databases