Type-Raising Operations on Cardinal and Ordinal Numbers in Quine's "New Foundations".

Published in: J. Symb. Log. (1973)

Keyphrases

information retrieval
artificial intelligence
image processing
case study
real time
computer vision
digital libraries
mobile robot
management system
arithmetic operations