Practice and Theory of Automated Timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

Documenti analoghi

• Practice and Theory of Automated Timetabling II : Second International Conference, PATAT'97, Toronto, Canada, August 20 - 22, 1997, Selected Papers /
  di: Edmund Burke, Michael Carter
  Pubblicazione: (1998, c1998)
• Practice and Theory of Automated Timetabling III : Third International Conference, PATAT 2000 Konstanz, Germany, August 16-18, 2000 Selected Papers /
  di: Edmund Burke, Wilhelm Erben
  Pubblicazione: (2001, c2001)
• Practice and Theory of Automated Timetabling IV : 4th International Conference, PATAT 2002, Gent, Belgium, August 21-23, 2002, Selected Revised Papers /
  di: Edmund Burke, Patrick Causmaecker
  Pubblicazione: (2003, c2003)
• Practice and Theory of Automated Timetabling VI : 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected Papers /
  di: Edmund K. Burke, Hana Rudová
  Pubblicazione: (2007, c2007)
• Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
  di: David McAllester
  Pubblicazione: (2000, c2000)