您当前的位置：
首页 >
文章列表页 >
关于描述计算机科学数学对象的形式系统的无矛盾性问题
论文 | 更新时间：2023-12-11
|

    • 关于描述计算机科学数学对象的形式系统的无矛盾性问题

    • 暂无标题

    • 中山大学学报(自然科学版)(中英文)   1983年22卷第2期 页码：75-80

    • 纸质出版日期：1983，

      网络出版日期：1983-3-25，

    扫 描 看 全 文

  • 侯广坤. 关于描述计算机科学数学对象的形式系统的无矛盾性问题[J]. 中山大学学报(自然科学版)(中英文), 1983,22(2):75-80. DOI：

  •  
  •  

0

浏览量

13

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

暂无数据

相关作者

暂无数据

相关机构

暂无数据
0