PROOF: Ein objektraumorientierter Display-Prozessor.

Bengt-Olaf Schneider

Published in: Inform. Forsch. Entwickl. (1991)

Keyphrases

real time
expert systems
theorem proving
linear logic
real world
website
decision trees
multiresolution
image quality