Abstraction, Reformulation and Approximation

EISBN:9783540318828
PISBN:9783540278726
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:2005
作者:Jean-Daniel Zucker,Lorenza Saitta
主题词:Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Mathematical Logic and Formal Languages
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Abstraction, Reformulation, and Approximation

  • 作者:Berthe Y. Choueiry,Toby Walsh
  • EISBN:9783540449140
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Abstraction, Reformulation, and Approximation

  • 作者:Ian Miguel,Wheeler Ruml
  • EISBN:9783540735809
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2007

Abstraction, Reformulation, and Approximation

  • 作者:Sven Koenig,Robert C. Holte
  • EISBN:9783540456223
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

Abstraction, Reformulation, and Approximation

  • 作者:Berthe Y. Choueiry,Toby Walsh
  • EISBN:9783540449140
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2000

Abstraction, Reformulation, and Approximation

  • 作者:Sven Koenig,Robert C. Holte
  • EISBN:9783540456223
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2002

ABSTRACTION FOR PROGRAMMERS

  • PISBN:0070728321