Reducing Operators for Normed General Formal Systems.

Manfred Kudlek Miroslav Novotný

Published in: MFCS (1977)

Keyphrases

distributed systems
special case
closely related
machine learning
management system
database systems
computer vision
artificial intelligence
intelligent systems
computer systems
building blocks
complex systems
formal methods
multiscale
query processing
web services
neural network
formal model
specific problems