Multiplication Logic.
Morgana M. A. da RosaEduardo A. C. da CostaLeandro Mateus Giacomini RochaGuilherme PaimSergio BampiPublished in: Circuits Syst. Signal Process. (2023)
Keyphrases
- modal logic
- logic programming
- floating point
- classical logic
- asynchronous circuits
- automated reasoning
- abductive reasoning
- computational properties
- defeasible logic
- sound and complete axiomatization
- data sets
- delay insensitive
- deontic logic
- epistemic logic
- formal theory
- arithmetic operations
- set theory
- multi valued
- artificial neural networks
- bayesian networks
- computer vision
- machine learning
- databases