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
Free delivery for purchases over 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Language EnglishEnglish
Book Paperback
Book Automated Deduction - CADE-25 Amy P. Felty
Libristo code: 09366255
Publishers Springer International Publishing AG, July 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Book Paperback
common.buy 17.02 €
Wild Parkour Serge Petrov / Book Paperback
common.buy 11.54 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Book Paperback
common.buy 7.29 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Book Paperback
common.buy 10.83 €
RHAPSODY TROMPETTE FISHER TULL Printed items Sheet music
common.buy 25.93 €
Ensayos Escogidos Juan Goytisolo / Book Paperback
common.buy 30.60 €
Geometrie – úhel / Book Sheet
common.buy 1.31 €
Dévoilement du Complot Serge Monast / Book Paperback
common.buy 18.03 €
Tacite Et Les Sources Des Annales: Enquetes Sur La Methode Historique O. Devillers / Book Paperback
common.buy 114.81 €
La Selva = The Jungle Clive Cussler / Book Paperback
common.buy 11.95 €
Dankbarkeit macht glücklich Ursula Richard / Book Paperback
common.buy 9.01 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Book Hardback
common.buy 14.68 €
Ducasse Desserts Alain Ducasse / Book Hardback
common.buy 23.70 €
Christliches Familienstellen Paul Imhof / Book Paperback
common.buy 25.12 €
Doerchlauchting Fritz Reuter / Book Paperback
common.buy 13.57 €

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

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-25
Author Amy P. Felty, Aart Middeldorp
Language English
Binding Book - Paperback
Date of issue 2015
Number of pages 640
EAN 9783319214009
ISBN 3319214004
Libristo code 09366255
Publishers Springer International Publishing AG
Weight 9942
Dimensions 155 x 235 x 33

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Digital lifestyle > Internet guides & online services > Internet searching
Computing & Information Technology > Computer science > Artificial intelligence > Pattern recognition
Computing & Information Technology > Computer science > Artificial intelligence > Computer vision
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Databases > Information retrieval
Computing & Information Technology > Computer science > Image processing
Computing & Information Technology > Graphical & digital media applications
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

Little Jay Goes Fishing Fay Macaron / Book Paperback
common.buy 14.38 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Book Hardback
common.buy 41.64 €
Sermons for the Use of Families. by William Enfield William Enfield / Book Hardback
common.buy 33.64 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Book Paperback
common.buy 16.61 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Book Paperback
common.buy 14.89 €
Medical Assistants Are Fabulous And Magical Like Unicorns Only Better: 120 Pages I 6x9 I Graph Paper 4x4 I Funny Nurse, Doctor & Hospital Gifts I Unic Funny Notebooks / Book Paperback
common.buy 8.60 €
New Edition Basic Survival Student Book Peter Viney / Book Paperback
common.buy 22.89 €
Battles with the Sea Robert Michael Ballantyne / Book Paperback
common.buy 19.35 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Book Paperback
common.buy 19.45 €
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 10.43 €
Out to Old Aunt Mary's Howard Chandler Christy / Book Hardback
common.buy 29.79 €
Opcit at Large John Barr / Book Paperback
common.buy 13.98 €
History of Illinois: From Its Commencement as a State in 1814 to 1847: Containing a Full Account of the Black Hawk War, the Rise, Progress, Ford Thomas Ford / Book Paperback
common.buy 24.92 €
The Resilient Culture Silke Rupprecht / Book Paperback
common.buy 25.33 €
Dio C'e Romeo Mannarino / Book Hardback
common.buy 27.05 €
Bread of Heaven Athena M Hodges / Book Paperback
common.buy 15.80 €
Michael Aaron Piano Course Lessons Michael Aaron / Book Paperback
common.buy 10.23 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Book Paperback
common.buy 15.80 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Book Paperback
common.buy 11.75 €
Coming soon
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Book Paperback
common.buy 16.10 €
Traditional Livestock Production Carlos Palacios Riocerzo / Book Hardback
common.buy 175.22 €
Top
Like a Power Play / Book Paperback
common.buy 19.45 €

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?