Program Development: Proof Subsystem.

Published in: PROSPECTRA Book (1993)

Keyphrases

knowledge based systems
software engineering
databases
case study
decision support
programming environments
development environment
design principles
information processing
online learning
neural network
logic programs
knowledge management
digital libraries
bayesian networks
development process
multimedia
database