Internal Strict Propositions Using Point-Free Equations.

István Donkó Ambrus Kaposi

Published in: TYPES (2021)

Keyphrases

data sets
database
neural network
genetic algorithm
mathematical model
numerical solution
internal and external
data mining
feature selection
decision making
clustering algorithm
expert systems
special case
differential equations
boundary value problem