Automated reasoning with analytic tableaux and related methods : 26th international conference, TABLEAUX 2017, Brasília, Brazil, september 25-28, 2017, proceedings /

Similar Items

• Automated reasoning with analytic tableaux and related methods : 28th international conference, TABLEAUX 2019, London, UK, september 3-5, 2019, proceedings /
  Published: (2019)
• Automated reasoning with analytic tableaux and related methods /
  Published: (2017)
• Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015, Wroclaw, Poland, september 21-24, 2015, proceedings /
  Published: (2015)
• Automated reasoning with analytic tableaux and related methods : 22nd International Conference, TABLEAUX 2013, Nancy, France, september 16-19, 2013, proceedings /
  Published: (2013)
• Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, july 6-10, 2009. Proceedings /
  Published: (2009)