Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

Những quyển sách tương tự

• Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
  Được phát hành: (2002)
• Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
  Được phát hành: (2001)
• Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
  Bỡi: Abe, Jair M
  Được phát hành: (2015)
• Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
  Bỡi: Banerjee, Mohua, et al.
  Được phát hành: (2015)
• Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
  Được phát hành: (2001)