Computational Logic . CL 2000 : First International Conference London, UK, July 24.28, 2000 Proceedings /

Lignende værker

• Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
  af: Kung-Kiu Lau
  Udgivet: (2001, c2001)
• CONCUR 2000 - Concurrency Theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings /
  af: Catuscia Palamidessi
  Udgivet: (2000, c2000)
• Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings /
  af: Catuscia Palamidessi
  Udgivet: (2003, c2003)
• CL : conjunto /
  af: Peña, Julio de la
  Udgivet: (fecha no identificada)
• CL : capilla /
  af: Peña, Julio de la
  Udgivet: (fecha no identificada)