Predicative programming revisited.

Published in: Mathematical Methods of Specification and Synthesis of Software Systems (1985)

Keyphrases

programming language
database
computer vision
decision making
knowledge base
high level
database systems
video sequences
expert systems
intelligent tutoring systems
development environment
programming course
hands on guide
programming paradigms