Login / Signup
-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness.
Hicham Bensaid
Ricardo Caferra
Nicolas Peltier
Published in:
AISC/MKM/Calculemus (2010)
Keyphrases
</>
databases
social networks
multiscale
high resolution
data sets
data mining