搜索到 篇“ 代数语义 “的相关文章

相关作者

代飞
作品数：66被引量：124H指数：7
供职机构：西南林业大学
研究主题：PETRI网 软件体系结构 并行性 跨组织 软件演化过程
左卫兵
作品数：53被引量：114H指数：7
供职机构：华北水利水电大学
研究主题：命题逻辑 逻辑度量空间 真度 逻辑系统 随机真度
李勇坚
作品数：6被引量：9H指数：2
供职机构：中国科学院软件研究所
研究主题：VERILOG 语义研究 VERILOG语言 操作语义 形式化验证
高恒珊
作品数：5被引量：1H指数：1
供职机构：中国科学技术大学研究生院
研究主题：非正规 模态逻辑 量词 直觉主义 模态
尹兰
作品数：21被引量：95H指数：5
供职机构：武汉大学计算机学院
研究主题：句子 图像 虚假 多核学习 自然语言生成