登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Proceedings : the Sixth Annual IEEE Symposium on Logic in Computer Science ; July 15-18 1991 Amste
出版社：Los Alamitos, California : IEEE Computer Society Press, c1991.
ISBN：0818622326
出版年：1991
作者：Symposium on Logic in Computer Science
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Proceedings : 17th annual IEEE Symposium on Logic in Computer Science, 22-25 July 2002, Copenhagen,
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：0769514839
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2002.
  • 出版年：2002
...

Thirteenth Annual IEEE Symposium on Logic in Computer Science : proceedings
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：0780350642
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c1998.
  • 出版年：1998
...

Proceedings of the seventh annual IEEE Symposium on Logic in Computer Science
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：0818627352
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Pr., c1992.
  • 出版年：1992
...

Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：0818674636
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
  • 出版年：1996
...

6th Annual IEEE Symposium on Logic in Computer Science : proceedings
  • 作者：IEEE Symposium on Logic in Computer Science
  • ISBN：081862230X LCN 89641304
  • 出版社：Los Alamitos, CA : IEEE Computer Society Pr., c1991.
  • 出版年：1991
...

Proceedings : 32nd IEEE International Symposium on Multiple-Valued Logic, May 15-18, 2002, Boston, M
  • 作者：IEEE International Symposium on Multiple-Valued Logic
  • ISBN：0769514626
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society, c2002.
  • 出版年：2002