A Many Sorted Calculus Based on Resolution and Paramodulation

A Many Sorted Calculus Based on Resolution and Paramodulation

Hardback Published on: 01/11/1994; Language: German
£24.95
No reviews yet, be the first
Free UK delivery on orders over £25, otherwise £2.99
Not available
This product is currently unavailable
Make and edit your lists in your account
No stock available in any shop.
Not available
This product is currently unavailable
No stock available in any shop.

Publisher information

  • Publisher: Elsevier Science & Technology
  • ISBN: 9780934613491
  • Number of pages: 160
  • Dimensions: 243 x 169 mm
  • Weight: 268g
  • Languages: German

Customer Reviews