Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /

Documenti analoghi

• Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
  Pubblicazione: (2001)
• Homotopy theory via algebraic geometry and group representations : proceedings of a Conference on Homotopy Theory, March 23-27, 1997, Northwestern University /
  Pubblicazione: (1998)
• Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
  di: Banerjee, Mohua, et al.
  Pubblicazione: (2015)
• Concepts, ontologies, and knowledge representation
  di: Jakus, Grega
• Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
  Pubblicazione: (2001)