The Matiyasevich Theorem. Preliminaries.

Published in: Formaliz. Math. (2017)

Keyphrases

von neumann
pattern recognition
expert systems
database
real time
databases
neural network
machine learning
genetic algorithm
information systems
high quality
cooperative
data analysis
information extraction