Computer Support for the Development and Investigation of Logics.
Hans Jürgen OhlbachPublished in: Log. J. IGPL (1996)
Keyphrases
- computer forensics
- assistive technology
- knowledge management
- support systems
- multi agent
- decision support
- computer systems
- design tools
- enabling technologies
- agent oriented
- lifelong learning
- st century
- digital libraries
- technology enhanced learning
- software engineering
- seamless integration
- information technology
- development effort
- support environment
- educational activities
- case study