Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /

Similar Items

• Automated reasoning : 10th international joint conference, IJCAR 2020, Paris, France, july 1-4, 2020, proceedings /
  Published: (2020)
• Automated reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, july 16-19, 2010. Proceedings /
  Published: (2010)
• Automated reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
  Published: (2012)
• Automated reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, june 27 - July 2, 2016, proceedings /
  Published: (2016)
• Automated reasoning : 9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, july 14-17, 2018, proceedings /
  Published: (2018)