mu-Definable Sets of Integers

Robert S. Lubarsky

Published in: LICS (1989)

Keyphrases

real numbers
development environment
data mining
artificial intelligence
computer vision
knowledge base
first order logic
convex sets