Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings (Paperback)

£90.00
Usually despatched within 2 weeks.
Order now for Free delivery in the UK.
More on delivery...

Synopsis

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the 17th International Conference on Automated Deduction, CADE-17, held June 17-20, 2000,at Carnegie Mellon University, Pittsburgh, Pennsylvania (USA). Fifty-three research papers and twenty system descriptions were submitted by researchers from ?fteen countries. Each submission was reviewed by at least three reviewers. Twenty-four research papers and ?fteen system descriptions were accepted. The accepted papers cover a variety of topics related to t- orem proving and its applications such as proof carrying code, cryptographic protocol veri?cation, model checking, cooperating decision procedures, program veri?cation, and resolution theorem proving. The program also included three invited lectures: "High-level veri?cation using theorem proving and formalized mathematics" by John Harrison, "Sc- able Knowledge Representation and Reasoning Systems" by Henry Kautz, and "Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice" by Carl Seger. Abstracts or full papers of these talks are included in this volume.In addition to the accepted papers, system descriptions, andinvited talks, this volumecontains one page summaries of four tutorials and ?ve workshops held in conjunction with CADE-17.

Computing & ITComputer scienceArtificial intelligenceComputing & ITComputer scienceMathematical theory of computation Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Publication Date: 05/06/2000 ISBN-13: 9783540676645  Details: Type: Paperback Format: Books
Availability: Usually despatched within 2 weeks. Login for Quick Checkout Add to Basket

More books by David McAllester

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Standard Delivery FREE FREE 3-5 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Analytical and Computational Methods...
(Paperback)
Vladimir V. Rykov; Nozer D....
 
 
£59.99
 
Assessing and Improving Prediction ...
(Paperback)
Timothy Masters
 
 
£43.99
 
Adventures in Computer Science: From...
(Hardback)
Vicente Moret-Bonillo
 
 
£45.99
 
Horizons in Computer Science ...
(Paperback)
Thomas S Clary
 
 
£71.50
 

Currently out of stock

Latest Blog
A Tale of Two Currencies
23/02/2018

Dharshini David explains why the volatility of Bitcoin underscores how secure the dollar is in its pole position – and how the old greenback continues to dictate the world’s fortunes.

#FoylesFive: Polish Fiction
22/02/2018

Gary from our Fiction Department delights us with a few of his favourite Polish novels.

Get More!
22/02/2018

We've extended the range of available lines on our website to close to one million items across more than thirty product categories! OK, that actually sounds quite dull. But what it means is you've got more books to choose from, more subject areas, more titles available on our website than ever before — more more more! To celebrate, we're giving you 15% off everything* online when you use the code GETMORE at checkout anytime between Thursday 22nd February and Thursday 1st March 2018.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd