Die Informatik zwischen Formal- und Humanwissenschaften.

Published in: Inform. Spektrum (1997)

Keyphrases

formal methods
databases
formal model
data sets
computer vision
relational databases
mathematical theory
real world
artificial intelligence
case study
trade off
special case
formal analysis