On a formal model of the tasking concept in Ada.

Hans Henrik Løvengreen Dines Bjørner

Published in: SIGPLAN (1980)

Keyphrases

formal model
formal models
knowledge base
security properties
predicate calculus
databases
neural network
data mining
artificial intelligence
information systems
knowledge based systems
key concepts