![Automated Deduction - Cade-19: 19th International Conference on Automated](https://d3525k1ryd2155.cloudfront.net/f/597/405/9783540405597.IN.0.m.jpg)
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
![Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach,...](https://d3525k1ryd2155.cloudfront.net/h/827/739/1588739827.0.m.jpg)
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
- 646
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
SGD 85.16SGD 13.90 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
SGD 85.16
SGD 13.90
shipping to USA
![Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...](https://d3525k1ryd2155.cloudfront.net/f/597/405/9783540405597.IN.0.m.jpg)
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
-
SGD 68.26SGD 8.21 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
SGD 68.26
SGD 8.21
shipping to USA
![Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...](https://d3525k1ryd2155.cloudfront.net/f/597/405/9783540405597.IN.0.m.jpg)
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
-
SGD 104.59SGD 17.31 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
SGD 104.59
SGD 17.31
shipping to USA
![Automated Deduction - CADE-19](https://d3525k1ryd2155.cloudfront.net/f/597/405/9783540405597.IN.0.m.jpg)
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
-
SGD 289.57SGD 5.47 shipping to USA
Show Details
Description:
Springer , pp. 524 . Papeback. New.
Item Price
SGD 289.57
SGD 5.47
shipping to USA