Der META-Beweiser für die Zahlentheorie.

W. Benda Günter Hornung Peter Raulefs F. Vollmann

Published in: GWAI (1982)

Keyphrases

meta level
graph transformation
neural network
special case
data sets
object recognition
digital libraries
data analysis
search space
meta reasoning