Computer Science - Logic in Computer Science

tags:: 00-01, 18-01, 68P20, 68T30, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, H.2.1, H.5.2, Mathematics - Category Theory, type/external/reference 1102.1889 a categorical framework for knowledge representation a categorical framework for knowledge representation ONE ONE I. Spivak](graph/david-i-spivak), Robert E. Kent library](zotero://select/library/items/RCTMVHRL), Web library