Nominalistic Ordinals, Recursion on Higher Types, and finitism.

Maria Hämeen-Anttila

Published in: Bull. Symb. Log. (2019)

Keyphrases

information systems
website
real time
neural network
computer vision
three dimensional
high quality
multi agent
cooperative