搜索筛选:
搜索耗时1.1992秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[会议论文] 作者:周训伟,鲍泓,
来源:全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会 年份:2006
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递...
[会议论文] 作者:周训伟,鲍泓,
来源:第二届两岸逻辑教学学术会议 年份:2006
经典离散数学是由计算机科学中要用到的、相互之间没有什么联系的数学分支如数理逻辑、集合论、抽象代数、图论所组成;周氏离散数学是与经典离散数学不同的离散数学。周氏离...
[会议论文] 作者:周训伟[1],鲍泓[2],
来源:全国第五次程序设计语言发展与教学学术会议、第三届全国Web信息系统及其应用学术会议暨全国首届语义Web与本体论学术研讨会 年份:2006
二层单准Prolog语言基于互逆主义逻辑中的二层单准演算,其中会出现二层递归现象、即头和体中出现相同的经数联符.本文讨论了五种二层递归:体中只有一个二单经数命题的二层递...
[会议论文] 作者:袁家政[1]须德[2]鲍泓[3],
来源:第二十三届中国数据库学术会议(NDBC2006) 年份:2006
本文在单个SVG文档的模块化与结构化的基础上,分析SVG实体的特征和组织方式,描述了SVG实体、对象、类的结构组成.提出了基于SVG应用的数据模型DMSA和利用关系数据库存储SVG类...
相关搜索: