名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Symposium on Logic in Computer Science , 检索到: 6 条结果, 检索时间: 0.179 秒 , 排序选项: 排序方式: 隐藏分类导航
分类导航

T 工业技术 (6)



    图书馆

    馆藏地点

    主题

  1. congresses (6)
  2. logic, symbolic and mathematical (6)
  3. computer programming (4)
  4. computer programs (4)
  5. correctness (4)
  6. electronic data processing (3)
  7. computer science (2)
  8. mathematics (2)

    著者

  1. ieee computer society (6)
  2. symposium on logic in computer science (5)
  3. acm special interest group for automata and computability theory (4)
  4. association for symbolic logic (4)
  5. european association for theoretical computer science (4)
  6. barwise, jon (1)
  7. chandra, ashok k (1)
  8. sponsored by ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, europe association for theoretical computer science (1)
  9. sponsored by the ieee computer society technical committee on mathematical foundations of computing in cooperation with acm sigact, association for symbolic logic, [and] european association for theoretical computer science (1)
  10. sponsored by the ieee technlcal committee on mathematical foundations of computing (1)
  11. symposium on logic in computer science.(june 4-7, 1990: (1)
  12. third annual symposium on logic in computer science, july 5-8, 1988, edinburgh, scotland ; sponsored by the computer society's technical committee on mathematical foundations of computing (1)

    出版日期

    文献类型

  1. 图书 (6)

    语言种类

    新到时间

  1. 过去7天 (0)
  2. 过去30天 (0)
  3. 过去60天 (0)
  4. 过去90天 (0)
  5. 过去180天 (0)
  6. 超过180天 (0)

    可借

  1. 不可借 (6)
保存至书单:
共 1 页 首页 <上一页 1 下一页>  尾页>>
1.
出版社: IEEE Computer Society Press,   出版日期: c1989
文献类型: 图书 , 索书号:
2.
出版社: IEEE Computer Society Press,   出版日期: c1987
文献类型: 图书 , 索书号:
3.
出版社: Computer Society Press,   出版日期: [1988]
文献类型: 图书 , 索书号:
4.
出版社: IEEE Computer Society Press,   出版日期: c1992.
文献类型: 图书 , 索书号:
5.
出版社: IEEE Computer Society Press,   出版日期: c1986.
文献类型: 图书 , 索书号:
6.
出版社: IEEE Computer Society Press,   出版日期: c1990.
文献类型: 图书 , 索书号:
共 1 页 首页 <上一页 1 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved null 关于 联系我们 帮助