A Formalization of Essenin-Volpin's Proof Theoretical Studies by Means of Nonstandard Analysis.

James R. Geiser

Published in: J. Symb. Log. (1974)

Keyphrases

information systems
comprehensive analysis
statistical analysis
quantitative analysis
databases
neural network
feature selection
image processing
case study
feature extraction
multiscale
information technology
formal analysis