Keyphrases
- three dimensional
- logic programming
- multi dimensional
- modal logic
- proof theory
- machine learning
- classical logic
- computational properties
- predicate logic
- automated reasoning
- delay insensitive
- dynamic logic
- asynchronous circuits
- deontic logic
- digital circuits
- three dimensional objects
- databases
- object recognition
- website
- genetic algorithm
- real world
- neural network