Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100.

Published in: Reports Math. Log. (2021)

Keyphrases

computer vision
real time
case study
data sets
genetic algorithm
social networks
information systems
knowledge base
website
logic programs
expressive power
user defined
ordered sets