Name: A Many-Sorted Calculus Based on Resolution and Paramodulation - Christoph Walther
Brand: Morgan Kaufmann
Availability: InStock

A Many-Sorted Calculus Based on Resolution and Paramodulation - Christoph Walther - Morgan Kaufmann | SuperScan