Processes, terms and cycles: steps on the road to infinity / essays dedicated to Jan Willem Klop on the Occasion of his 60th birthday

Liknande verk

• Logic-based artificial intelligence /
  Publicerad: (2000)
• Logical tools for handling change in agent-based systems /
  av: Gabbay, Dov M., 1945-
  Publicerad: (2010)
• Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
• Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
  Publicerad: (2007)
• Logics in artificial intelligence : 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
  Publicerad: (2006)