×
  • Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

    Hans De Nivelle (eds.)

Click on cover to enlarge.