Constructive decidability of classical continuity.

Martín Escardó

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

description logics
query answering
multiresolution
databases
neural network
real world
information systems
knowledge base
query processing