Cyclic Indiscernibles and Skolem Functions.

D. A. Anapolitanos

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

Keyphrases

first order logic
real time
information retrieval
knowledge base
high quality
data sets
decision making
multimedia
data structure
probabilistic model
management system