A Logical Basis for Programming Methodology.

Satoru Takasu Sukemitsu Kawabata

Published in: Theor. Comput. Sci. (1981)

Keyphrases

programming language
design methodology
real time
information retrieval
data sets
databases
artificial intelligence
information systems
knowledge base
decision trees
case study
bayesian networks
computer science
logical representation
high level language