罗里波 共有1条记录 共耗时[0.000]秒
页码:1/1    每页显示:10 记录 跳转:
  • 正在加载图片,请稍后......

    模型论及其在计算机科学中的应用:北京师范大学数学科学学院, 罗里波

    作者:北京师范大学数学科学学院, 罗里波 出版社:北京师范大学出版社 出版时间:2012 ISBN:978-7-303-13602-5
    索书号:O141.4-43/4 分类号:O141.4-43 页数:300页 价格:30.00
    复本数: 在馆数:
    累借天数: 累借次数:
    本书的主要内容是模型论的基本原理和它在计算机科学中的计算复杂度理论和机器证明等方面的应用。
    详细信息
    索书号 展开
缩小检索范围
罗里波 共有1条记录 共耗时[0.000]秒
页码:1/1    每页显示:10 记录 跳转: