The Theorema Environment for Interactive Proof Development.
Florina PiroiTemur KutsiaPublished in: LPAR (2005)
Keyphrases
- mobile robot
- information processing
- knowledge based systems
- case study
- rapid development
- complex environments
- dynamic environments
- software engineering
- information systems
- learning algorithm
- distributed multimedia
- neural network
- web environment
- information infrastructure
- development environment
- real time
- design tools
- st century
- tour guide robot
- design principles
- development process
- design process
- virtual world
- expert systems
- website
- information retrieval
- real world