Skip to content

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 Paperback - 2003 - 2003rd Edition

by Franz Baader (Editor)


From the publisher

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor- proving system competition (CASC-19) organized by Geo? Sutcli?e and Chr- tian Suttner. Despite many competing smaller conferences and workshops covering di?- entaspectsofautomateddeduction, CADEisstillthemajorforumfordiscussing new results on all aspects of automated deduction as well as presenting new s- tems and improvements of established systems. In contrast to the previous year, when CADE was one of the conferences participating in the Third Federated Logic Conference (FLoC 2002), and next year, when CADE will be part of the Second International Joint Conference on Automated Reasoning (IJCAR 2004), CADE-19 was organized as a stand-alone event.

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
Back to Top

More Copies for Sale

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$75.56
A$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,...

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$102.50
A$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
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach,...
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$116.01
A$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
Automated Deduction - CADE-19
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$320.54
A$6.05 shipping to USA

Show Details

Description:
Springer , pp. 524 . Papeback. New.
Item Price
A$320.54
A$6.05 shipping to USA