Nonstandard proof methods in toposes.

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

preprocessing
feature extraction
artificial neural networks
optimization methods
data sets
databases
real world
genetic algorithm
support vector
significant improvement
machine learning methods
hybrid method