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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
20 201 Ft
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 6 709 Ft
Wild Parkour Serge Petrov / Book Paperback
common.buy 4 475 Ft
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Book Paperback
common.buy 2 829 Ft
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Book Paperback
common.buy 4 269 Ft
RHAPSODY TROMPETTE FISHER TULL Printed items Sheet music
common.buy 9 312 Ft
Ensayos Escogidos Juan Goytisolo / Book Paperback
common.buy 10 964 Ft
Geometrie – úhel / Book Sheet
common.buy 474 Ft
Dévoilement du Complot Serge Monast / Book Paperback
common.buy 6 469 Ft
La Selva = The Jungle Clive Cussler / Book Paperback
common.buy 4 255 Ft
Dankbarkeit macht glücklich Ursula Richard / Book Paperback
common.buy 3 528 Ft
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Book Hardback
common.buy 5 311 Ft
Ducasse Desserts Alain Ducasse / Book Hardback
common.buy 9 359 Ft
Christliches Familienstellen Paul Imhof / Book Paperback
common.buy 9 880 Ft
Doerchlauchting Fritz Reuter / Book Paperback
common.buy 5 311 Ft

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 5 564 Ft
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Book Hardback
common.buy 16 307 Ft
Sermons for the Use of Families. by William Enfield William Enfield / Book Hardback
common.buy 13 018 Ft
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Book Paperback
common.buy 6 455 Ft
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Book Paperback
common.buy 5 789 Ft
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 3 331 Ft
New Edition Basic Survival Student Book Peter Viney / Book Paperback
common.buy 8 210 Ft
Battles with the Sea Robert Michael Ballantyne / Book Paperback
common.buy 7 497 Ft
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Book Paperback
common.buy 7 708 Ft
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 3 762 Ft
Out to Old Aunt Mary's Howard Chandler Christy / Book Hardback
common.buy 11 545 Ft
Opcit at Large John Barr / Book Paperback
common.buy 5 461 Ft
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 9 655 Ft
The Resilient Culture Silke Rupprecht / Book Paperback
common.buy 10 025 Ft
Dio C'e Romeo Mannarino / Book Hardback
common.buy 10 443 Ft
Bread of Heaven Athena M Hodges / Book Paperback
common.buy 6 249 Ft
Michael Aaron Piano Course Lessons Michael Aaron / Book Paperback
common.buy 3 795 Ft
Campside Guide to Dutch Oven Cooking Paul Kautz / Book Paperback
common.buy 6 188 Ft
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Book Paperback
common.buy 4 569 Ft
Coming soon
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Book Paperback
common.buy 6 146 Ft
Traditional Livestock Production Carlos Palacios Riocerzo / Book Hardback
common.buy 68 404 Ft
Top
Like a Power Play / Book Paperback
common.buy 7 511 Ft

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?