Login / Signup
Filtration theorem for dynamic algebras with tests and inverse operator.
Dimiter Vakarelov
Published in:
Logic of Programs (1980)
Keyphrases
</>
dynamic environments
neural network
dynamically changing
machine learning
image processing
database systems