A KIF Formalization for the IFF Category Theory Ontology (2001)

Cached

Download Links

by Robert E. Kent
Citations:7 - 0 self