×
  • Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

    Piero A. Bonatti (auth.)

Click on cover to enlarge.
5 - 6Hours to read