Login / Signup

Correctness of the Compiling Process Based on Axiomatic Semantics.

Bruce Russell
Published in: Acta Informatica (1980)
Keyphrases
  • data sets
  • databases
  • multi agent
  • data sources
  • computer vision
  • multi agent systems
  • process model
  • integrity constraints