Cardinality Quantifiers and Choice Principles.

Norbert Brunner

Published in: Reports Math. Log. (1991)

Keyphrases

real time
databases
artificial intelligence
computer vision
computer science
information technology
multiresolution
first order logic
design principles
fundamental principles