Practical coinduction.

Dexter Kozen Alexandra Silva

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

real world
database
data sets
special case
neural network
computer vision
e learning
data model
practical problems