Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €
phone Contact phoneHow to shop

Automated Deduction - CADE-17

17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Deduction - CADE-17 David McAllester
Libristo code: 01567456
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2000
This book constitutes the refereed proceedings of the 17th International Conference on Automated Ded... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

Poverhnostno-aktivnye veshhestva v ob#ektah okruzhajushhej sredy E.Yu. Shachneva / Book Paperback
common.buy 37.29 €
Capo Verde / Book Paperback
common.buy 17.79 €
Kdo umyje nádobí? / Game/Toy Game
common.buy 12.19 €
La voz de la conciencia ESTEBAN DUQUE / Book Paperback
common.buy 23.69 €
Scooby-Doo! i szalejący karateka James Gelsey / Book Paperback
common.buy 4.19 €
Die chinesischen und mandschurischen Zierschriften Giovanni Stary / Book Paperback
common.buy 38.00 €
Wannseekonferenz Peter Longerich / Book Paperback
common.buy 16.00 €
Marek a jeho písničky / Audio Audio CD
common.buy 12.69 €
Cuánto Sabes De... Fútbol Americano Indoor Wanceulen Notebook / Book Paperback
common.buy 11.39 €

This book constitutes the refereed proceedings of the 17th International Conference on Automated Deduction, CADE-17, held in Pittsburgh, Pennsylvania, USA, in June 2000.§The 24 revised full research papers and 15 system descriptions presented were carefully reviewed and selected from 53 paper submissions and 20 system description submissions. Also included are contributions corresponding to invited talks and tutorials. The accepted papers cover a variety of topics related to theorem proving and its applications such as proof-carrying code, cryptographic protocol verification, model checking, cooperating decision procedures, program verification, and resolution.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Automated Deduction - CADE-17
Author David McAllester
Language English
Binding Book - Paperback
Date of issue 2000
Number of pages 526
EAN 9783540676645
ISBN 3540676643
Libristo code 01567456
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 819
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Bold Frontier John Jakes / Book Paperback
common.buy 17.99 €
Top Coming soon New
Chainsaw Man, Vol. 22 Tatsuki Fujimoto / Book Paperback
common.buy 8.69 €
Dead Sexy Morticia Storm Onyx / Book Paperback
common.buy 22.89 €
The Art of Garnishing Churches at Christmas and Other Times: A Manual of Directions Ernest Geldart / Book Paperback
common.buy 19.99 €
Top
Five-Star Weekend Elin Hilderbrand / Book Paperback
common.buy 12.09 €
Coming soon
Innovative Approaches in Early Childhood Mathematics Alberto D. Yazon / Book Hardback
common.buy 175.59 €
Penguin Readers Level 7: White Teeth (ELT Graded Reader) Zadie Smith / Book Paperback
common.buy 6.69 €
Interior II, 1904 Kathleen George / Book Paperback
common.buy 22.79 €
Companion to Wittgenstein on Education Michael A. Peters / Book Paperback
common.buy 355.79 €
Intersection of Rights and Regulation Bronwen Morgan / Book Hardback
common.buy 215.89 €
Dragon's Gift Deborah Brautigam / Book Paperback
common.buy 32.89 €
Imagined Commonwealth T. J. Cribb / Book Hardback
common.buy 118.29 €
Flight Kit Rosie Dickins / Book Paperback
common.buy 43.89 €
Flesh in the Age of Reason Roy Porter / Book Paperback
common.buy 30.49 €
Stress-Induced and Fear Circuitry Disorders Gavin Andrews / Book Paperback
common.buy 80.19 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?