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

相关作者

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