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 Paperback - 2003 - 2003rd Edition
by Franz Baader (Editor)
Details
- Title Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings
- Author Franz Baader (Editor)
- Binding Paperback
- Edition number 2003rd
- Edition 2003
- Pages 512
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2003-07-16
- ISBN 9783540405597 / 3540405593
- Weight 1.6 lbs (0.73 kg)
- Dimensions 9.21 x 6.14 x 1.05 in (23.39 x 15.60 x 2.67 cm)
- Library of Congress Catalog Number 2003057323
- Dewey Decimal Code 006.3
More Copies for Sale
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 ... / Lecture Notes in Artificial Intelligence)
by Baader, Franz [Editor]
- Used
- Very Good
- Paperback
- Condition
- Used - Very Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Quantity Available
- 1
- Seller
-
Spring Branch, Texas, United States
- Item Price
-
A$75.56A$9.09 shipping to USA
Show Details
Description:
Springer, 2003-09-10. Paperback. Very Good. 9x6x1. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Item Price
A$75.56
A$9.09
shipping to USA
Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
by Franz Baader
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Quantity Available
- 596
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$102.50A$15.42 shipping to USA
Show Details
Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings.
Item Price
A$102.50
A$15.42
shipping to USA
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
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
A$116.01A$19.20 shipping to USA
Show Details
Description:
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.
Item Price
A$116.01
A$19.20
shipping to USA
Stock Photo: Cover May Be Different
Automated Deduction - CADE-19
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9783540405597 / 3540405593
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
A$320.54A$6.05 shipping to USA
Show Details
Description:
Springer , pp. 524 . Papeback. New.
Item Price
A$320.54
A$6.05
shipping to USA