Theories of real addition with and without a predicate for integers.

Alexis Bès Christian Choffrut

Published in: CoRR (2020)

Keyphrases

artificial intelligence
real world
real life
special case
machine learning
information retrieval
social networks
face recognition
search algorithm
theoretical framework
floating point