Practice and theory of automated timetabling V : 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers /

類似資料

• Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
  著者:: Hong, Hoon
  出版事項: (2006)
• Automated reasoning 5th international joint conference, IJCAR 2010, edinburgh, UK, July 16-19, 2010. Proceedings /
  出版事項: (2010)
• Automated deduction in geometry 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers /
  著者:: Botana, Francisco
  出版事項: (2007)
• Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
  出版事項: (2013)
• Computers and games / 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers
  著者:: Herik, H. Jaap van den
  出版事項: (2006)