The Simplifier of the Program Verifier "Tatzelwurm".

Published in: ÖGAI (1985)

Keyphrases

information retrieval
database
data sets
machine learning
computer programs
program execution
control program
databases
computer vision
multiscale
preprocessing
open source
programming course