Realizability with Stateful Computations for Nonstandard Analysis.

Bruno Dinis Étienne Miquey

Published in: CSL (2021)

Keyphrases

data analysis
database
databases
machine learning
real time
data mining
social networks
image processing
database systems
evolutionary algorithm
management system
distributed systems
automatic analysis