Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /

Παρόμοια τεκμήρια

• Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings /
  Έκδοση: (2008)
• Automated technology for vertification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /
• Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
  Έκδοση: (2005)
• Automated reasoning with analytic tableaux and related methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings /
  ανά: Giese, Martin
  Έκδοση: (2009)
• Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
  Έκδοση: (2006)