A typed category theory is proposed for the abstract description of knowledge and knowledge processing.是什么意思_A typed category theory is proposed for the abstract description of knowledge and knowledge processing.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句