The de Jongh property for Basic Arithmetic.

Mohammad Ardeshir S. Mojtaba Mojtahedi

Published in: Arch. Math. Log. (2014)

Keyphrases

information retrieval
multi agent
cooperative
information technology
feature selection
multimedia
image segmentation
computer science
first order logic
global consistency
arithmetic operations