搜索到 篇“ GODEL “的相关文章

相关作者

惠小静
作品数：98被引量：227H指数：10
供职机构：延安大学数学与计算机科学学院
研究主题：真度 相似度 命题逻辑系统 伪距离 随机真度
李慧琪
作品数：18被引量：13H指数：2
供职机构：厦门大学信息科学与技术学院计算机科学系
研究主题：逻辑程序设计语言 课程教学 DEL语言 语言编译 课程内容
侯米娜
作品数：6被引量：1H指数：1
供职机构：厦门大学
研究主题：程序语言 程序设计 程序设计环境 DEL语言 O
苏剑煌
作品数：6被引量：4H指数：1
供职机构：厦门大学
研究主题：逻辑程序设计语言 DEL语言 多态 O 程序语言
彭家寅
作品数：196被引量：384H指数：11
供职机构：内江师范学院数学与信息科学学院
研究主题：英文 量子通信 滤子 同态 远程态制备