Justifying and Proving in the Cabri Environment.

Maria Alessandra Mariotti

Published in: Int. J. Comput. Math. Learn. (2002)

Keyphrases

real time
mobile robot
dynamic environments
environmental conditions
databases
artificial intelligence
mobile robotics
database
neural network
machine learning
computer vision
knowledge base
cloud computing
autonomous agents
computing environments