Podobne knjige/članki

• Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings /
  Izdano: (2005)
• Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings /
  Izdano: (2007)
• Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
  Izdano: (2005)
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings /
  Izdano: (2007)
• Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
  Izdano: (2006)