Login / Signup
-calculus.
Étienne Lozes
Jules Villard
Published in:
Distributed Comput. (2010)
Keyphrases
</>
automated deduction
algebraic structure
databases
neural network
machine learning
website
clustering algorithm
case study
face recognition
multi agent
expert systems
special case
real numbers
relational calculus
computer algebra