Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming

Formal Ontology of 'Cultures' and 'Ethnic Groups' Based on Type Theory and Functional Programming
复制标题

基于类型论和函数式编程的“文化”和“族群”形式本体论

DOI：
--
复制
发表时间：
2007
期刊：
LNCS 4568: Intercultural Collaboration: First International Workshop, IWIC 2007, Kyoto, Japan, January 2007, Invited and Selected Papers
影响因子：
--
通讯作者：
Norihiro Ogata
Norihiro Ogata
中科院分区：
--
文献类型：
--
作者：
Kubozono;Haruo;Norihiro Ogata

文献摘要

相似文献