-Calculus.

Volker Gruhn Clemens Schäfer

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

automated deduction
neural network
databases
information systems
artificial neural networks
computer algebra
computer vision
relational databases
probabilistic model
automated theorem proving
provably correct