书目检索

简单检索 多字段检索 组合检索 检索结果

用户登录
全部 纸本图书 期刊
  • 公理化集合论机器证明系统图书

    —郁文生,孙天宇,付尧顺著

    索书号:O144/00050

    标准编码:978-7-03-064039-0

    出版信息:科学出版社  2020.3  北京

  • 自然数的紧化延伸机器证明系统图书

    —郁文生,窦国威著

    索书号:TP181/00726

    标准编码:978-7-03-077545-0

    出版信息:科学出版社  2024.05  北京

1 共: 2 条