Automated Reasoning (Paperback)

Language: English

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2012

3642313647 / 9783642313646

  • Softcover
  • New
See all details

Seller: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

5-star seller

AbeBooks seller since June 22, 2007

Softcover

Condition: New

£ 79.10

£ 28.01 shipping 
Ships from Australia to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

Paperback. This book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. Constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. …

Seller Inventory # 9783642313646

Title
Automated Reasoning (Paperback)
Author
Bernhard Gramlich
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Publication year
2012
Condition
new
Binding
Paperback
Language
English
ISBN 10
3642313647
ISBN 13
9783642313646

AussieBookSeller

Truganina, VIC, Australia

5-star seller

AbeBooks seller since June 22, 2007

Shipping rates from Australia to U.S.A.

Item25 to 45 business days8 to 14 business days
First item£ 28.01£ 33.31
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay

Seller's business information

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029