231 search results - page 47 / 47 » A Brief Overview of HOL4 |
PRL
2010
13 years 3 months ago
2010
: Organizing data into sensible groupings is one of the most fundamental modes of understanding and learning. As an example, a common scheme of scientific classification puts organ...