×
  • A Many-Sorted Calculus Based on Resolution and Paramodulation

    Christoph Walther

Click on cover to enlarge.
3 - 4Hours to read