Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /

Lignende værker

• Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22.24, 2004 Proceedings /
  af: Bruno Buchberger, John Campbell
  Udgivet: (2004, c2004)
• Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 Proceedings /
  Udgivet: (2014, c2014)
• Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
  af: Jacques Calmet, Jan Plaza
  Udgivet: (1998, c1998)
• Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
  af: Jacques Calmet, Tetsuo Ida, Dongming Wang
  Udgivet: (2006, c2006)
• Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
  af: Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
  Udgivet: (2002, c2002)