-calculus.

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

database
natural deduction
computer algebra
databases
data mining
genetic algorithm
image processing
data structure
digital libraries