Comparing Peano arithmetic, Basic Law V, and Hume's Principle.

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

information retrieval
data sets
real time
computer vision
information systems
website
multi objective
information bottleneck