检索条件: ,搜索结果总数: 2条, 耗时: 0.001 秒,排序: 排序方式:    隐藏分类筛选  |  显示图表
结果筛选

分馆

  • LIBNET中心馆

主题词

  • 数理逻辑
  • 人工智能-数理逻辑

文献类型

  • 图书

出版时间

  • 1994
  • 1991

出版社

  • 吉林大学出版社
  • 科学出版社

第一责任者

  • 刘叙华编
  • 刘叙华著
2 条记录 1/1 页
2 条记录 1/1 页
广州图畅计算机科技有限公司Copyright © 2016 All Rights Reserved