A Calculus for Rational Łukasiewicz Logic and Related Systems.

Published in: IPMU (2) (2016)

Keyphrases

management system
computer algebra
databases
computer systems
asynchronous circuits
data sets
data mining
genetic algorithm
distributed systems
building blocks
automated reasoning
digital circuits