On r.e. inseparability of CPO index sets.

Published in: Logic and Machines (1983)

Keyphrases

database
search engine
digital libraries
real world
artificial intelligence
decision making
multimedia
data model
description logics
indexing method
candidate set