Login / Signup
Consistency of Quine's New Foundations using nominal techniques.
Murdoch James Gabbay
Published in:
CoRR (2014)
Keyphrases
</>
artificial intelligence
consistency checking
global consistency
data sets
social networks
computer vision
image processing
multiscale
artificial neural networks
data warehouse
temporal reasoning
constraint networks