Login / Signup
An Order Theory Resolution Calculus.
Peter Baumgartner
Published in:
LPAR (1992)
Keyphrases
</>
information systems
case study
real time
databases
image processing
theoretical framework
theoretical basis
formal theory