Skip to content

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Automated Deduction - CADE-19: 19th International Conference on Automated
Stock Photo: Cover May Be Different

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

by Franz Baader

  • New
  • Paperback
Condition
New
ISBN 10
3540405593
ISBN 13
9783540405597
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Item Price
A$116.74
Or just A$105.06 with a
Bibliophiles Club Membership
A$19.32 Shipping to USA
Standard delivery: 14 to 21 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Paperback / softback. New. The refereed proceedings of the 19th International Conference on Automated Deduction, CADE 2003, held in Miami Beach, FL, USA in July 2003. The 29 revised full papers and 7 system description papers presented together with an invited paper and 3 abstracts of invited talks were carefully reviewed and selected from 83 submissions.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Bookseller
The Saint Bookstore GB (GB)
Bookseller's Inventory #
B9783540405597
Title
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
Author
Franz Baader
Format/Binding
Paperback / softback
Book Condition
New
Quantity Available
10
Binding
Paperback
ISBN 10
3540405593
ISBN 13
9783540405597
Publisher
Springer
This edition first published
September 10, 2003

Terms of Sale

The Saint Bookstore

Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

About the Seller

The Saint Bookstore

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2018
Southport, Merseyside

About The Saint Bookstore

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Glossary

Some terminology that may be used in this description includes:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-