Handbook of Automated Reasoning

Name: Handbook of Automated Reasoning
SKU: 9780080532790
Price: 76863.00 KES
Availability: InStock

KES 76,863

International delivery

Free click & collect

UPC	9780080532790
Author	Alan J.A. Robinson, Andrei Voronkov
Pages	2128
Language	English
Format	PDF
Publisher	Elsevier Science
SKU	9780080532790

None

Leave a product review

Title

Score

Your comments

Name

or cancel