Using Sophisticated Models in Resolution Theorem Proving

Printed Book
SR 389
Inclusive of VAT
Sold as: EACH
SR23Per Month/24 months
Author:Sandford, David M.
Date of Publication: 1980
Book classification:Science & Mathematics,English Books
No. of pages:260 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR389
Incl. VAT

Choose your delivery preference

Or

Specifications

SKU9783540102311
Manufacturer Number9783540102311
year published1980
Show more

Report an issue with this product.

Customer Reviews