A Case Study of Abstract Implementations and Their Correctness.

Hartmut Ehrig Hans-Jörg Kreowski Peter Padawitz

Published in: Symposium on Programming (1980)

Keyphrases

case study
high level
efficient implementation
databases
neural network
search algorithm
expert systems
database
information retrieval
genetic algorithm
knowledge base
provably correct