相关作者
- 张书鸿
- 作品数：57被引量：129H指数：8
- 供职机构：东北大学艺术学院
- 研究主题：形式语言 环境艺术设计 环境艺术 设计方法 创造性思维
- 苗德成
- 作品数：37被引量：59H指数：4
- 供职机构：韶关学院信息科学与工程学院
- 研究主题：形式语言 语义 范畴论 索引 形式语义
- 邵大箴
- 作品数：409被引量：226H指数：6
- 供职机构：中央美术学院
- 研究主题：中国画 艺术家 山水画 艺术创作 油画
- 王小兵
- 作品数：202被引量：222H指数：8
- 供职机构：西安电子科技大学
- 研究主题：时序逻辑 语句 数字仿真 词法 仿真
- 段振华
- 作品数：214被引量：245H指数：9
- 供职机构：西安电子科技大学计算机学院
- 研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
