高恒珊
作品数: 5被引量:1H指数:1
  • 所属机构:中国科学技术大学研究生院
  • 所在地区:北京市
  • 研究方向:理学

相关作者

吕健安
作品数:2被引量:0H指数:0
供职机构:IBM公司
研究主题:非正规 模态逻辑 量词 对称代数 代数模型