Logic programming : 18th international conference ICLP 2002 Copenhagen Denmark July 29-August 1

出版社:Berlin ; New York : Springer, c2002.
ISBN:3540439307
出版年:2002
作者:ICLP 2002
资源类型:图书
细分类型:西文文献
相关推荐

Genetic programming : 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015 :

  • 作者:EuroGP 2015
  • ISBN:9783319165004
  • 出版社:Cham : Springer, 2015.
  • 出版年:2015

Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-

  • 作者:CAV 2002
  • ISBN:3540439978
  • 出版社:Berlin ; New York : Springer, c2002.
  • 出版年:2002

DNA computing and molecular programming : 18th international conference, DNA 18, Aarhus, Denmark, Au

  • 作者:International Conference on DNA Computing and Molecular Programming
  • ISBN:9783642322075
  • 出版社:Berlin ; New York : Springer, c2012.
  • 出版年:2012

Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1

  • 作者:ICLP 2001
  • ISBN:3540429352
  • 出版社:Berlin ; New York : Springer, c2001.
  • 出版年:2001

Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 :

  • 作者:International Conference on Logic Programming
  • ISBN:9783642028458
  • 出版社:Berlin ; New York : Springer, c2009.
  • 出版年:2009

Security and trust management : 18th international workshop, STM 2022, Copenhagen, Denmark, Septembe

  • 作者:STM 2022
  • ISBN:9783031295034
  • 出版社:Cham, Switzerland : Springer, 2023.
  • 出版年:2023