Automated reasoning and mathematics : essays in memory of William W. McCune /

Similar Items

• Automated reasoning : introduction and applications /
  by: Wos, Larry
  Published: (1984)
• Automated reasoning for systems biology and medicine /
  Published: (2019)
• 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 : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, august 12-15, 2008 proceedings /
  Published: (2008)