Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. 8th International Conference on Automated Deduction : Oxford, England, July 27- August 1, 1986. Proceedings
Item 1 of 1
International Product
Item 1 of 1

8th International Conference on Automated Deduction : Oxford

EnglandJuly 27- August 11986. Proceedings

Printed Book
SR 471
Inclusive of VAT
Sold as: EACH
SR28Per Month/24 months
Author:Siekmann, Jörg H.
Date of Publication: 1986
Book classification:Science & Mathematics,English Books,
No. of pages:724 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

SR471
Incl. VAT
  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery

Specifications

SKU9783540167808
Manufacturer Number9783540167808
year published1986
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.