Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /

Lignende værker

• Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings /
  af: Berthe Y. Choueiry, Toby Walsh
  Udgivet: (2000, c2000)
• Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /
  af: Ian Miguel, Wheeler Ruml
  Udgivet: (2007, c2007)
• Abstraction, Reformulation, and Approximation : 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
  af: Sven Koenig, Robert C. Holte
  Udgivet: (2002, c2002)
• Abstraction in Artificial Intelligence and Complex Systems /
  af: Lorenza Saitta, Jean-Daniel Zucker
  Udgivet: (2013, c2013)
• Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings /
  af: Radhia Cousot
  Udgivet: (2005, c2005)