Properties of Invariants and Induction Lemmata.

Martin Köhler Felix Hasselwander Klaus Schneider

Published in: MBMV (2020)

Keyphrases

imperative programs
neural network
pattern recognition
structural properties
inductive inference
topological properties
decision making
e learning
data structure
search algorithm
inductive learning
invariance properties