-Calculus.

Corina Cîrstea Clemens Kupke Dirk Pattinson

Published in: CSL (2009)

Keyphrases

website
decision trees
relational databases
neural network
three dimensional
special case
relational calculus
automated deduction
provably correct
computer algebra