Decidability in the Constructive Theory of Reals as an Ordered ℚ-vectorspace.

Miklós Erdélyi-Szabó

Published in: Math. Log. Q. (1997)

Keyphrases

description logics
real time
evolutionary algorithm
query answering
theoretical framework
databases
neural network
social networks
knowledge base
decision theory
theoretical basis
general theory
database
special case
image sequences
decision trees
genetic algorithm