15th IEEE symposium on logic in computer science

出版社:Piscataway : IEEE, 2000.
ISBN:0780365259
出版年:2000
作者:IEEE Symposium on Logic in Computer Science
资源类型:图书
细分类型:西文文献
相关推荐

15th Annual IEEE Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, Calif. : p

  • 作者:IEEE Symposium on Logic in Computer Science
  • ISBN:0780365259
  • 出版社:Los Alamitos, Calif. : IEEE Computer Society, c2000.
  • 出版年:2000

ARITH 2001 : 15th IEEE symposium on computer airthmetic

  • 作者:Symposium on Computer Arithmetic
  • ISBN:0769511503
  • 出版社:Los Alamitor : IEEE Computer Society. 2001.
  • 出版年:2001

Computer science logic : 20th international workshop, CSL 2006, 15th Annual Conference of the EACSL,

  • 作者:CSL 2006
  • ISBN:3540454586
  • 出版社:Berlin ; New York : Springer, 2006.
  • 出版年:2006

Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL,

  • 作者:Workshop on Computer Science Logic
  • ISBN:3540425543
  • 出版社:Berlin : Springer, 2001.
  • 出版年:2001

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL,

  • 作者:International Workshop on Computer Science Logic
  • ISBN:3540425543
  • 出版社:Berlin : New York : Springer, 2001.
  • 出版年:2001

16th IEEE symposium on logic in computer science

  • 作者:IEEE Symposium on Logic in Computer Science
  • ISBN:076951281X
  • 出版社:Los Alamitos : IEEE Computer Society, 2001.
  • 出版年:2001