A note on the predicatively definable sets of N. N. Nepeîvoda.

Stephen L. Bloom

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

Keyphrases

real time
artificial intelligence
set theoretic
computer vision
data analysis
database
data sets
information systems
np complete
answer sets
definite clause