Subsystems of Quine's "New Foundations" with Predicativity Restrictions.

M. Randall Holmes

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

artificial intelligence
special case
machine learning
query processing
database
image sequences
search algorithm
information technology