Product information

€81.93

Stock: Out of Stock

Automated Theorem Proving

Name: Automated Theorem Proving
Brand: Special Session on Automatic T
SKU: 9780821850275
Availability: InStock

Author: Special Session on Automatic T

Type: Paperback

ISBN: 9780821850275

Date: 30th December, 1984

Publisher: American Mathematical Society