×
  • Automated Practical Reasoning: Algebraic Approaches

    Jochen Pfalzgraf

Click on cover to enlarge.
Buy This Book
From Amazon.