Login / Signup
-Calculus Implementations.
Andrea Asperti
Published in:
RTA (1995)
Keyphrases
</>
efficient implementation
real time
genetic algorithm
probabilistic model
automated deduction
neural network
information retrieval
artificial intelligence
computer vision
decision trees
database systems
search algorithm
multiresolution
automated theorem proving
computer algebra