Extraction und Verifikation von Programmen durch Analyse formaler Beweise (Extended Abstract).

Published in: GWAI (1985)

Keyphrases

extended abstract
information extraction
learning algorithm
knowledge extraction
database
data mining
artificial intelligence
website
support vector
search algorithm
feature space
expert systems
automatically extracted
object extraction