×
  • Computer-Aided Reasoning: An Approach

    Matt Kaufmann Panagiotis Manolios J. Strother Moore (auth.)

Click on cover to enlarge.