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 034 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 653 Ft
Wild Parkour Serge Petrov / Book Paperback
common.buy 4 438 Ft
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Book Paperback
common.buy 2 806 Ft
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Book Paperback
common.buy 4 234 Ft
RHAPSODY TROMPETTE FISHER TULL Printed items Sheet music
common.buy 9 263 Ft
Ensayos Escogidos Juan Goytisolo / Book Paperback
common.buy 10 887 Ft
Geometrie – úhel / Book Sheet
common.buy 470 Ft
Dévoilement du Complot Serge Monast / Book Paperback
common.buy 6 434 Ft
La Selva = The Jungle Clive Cussler / Book Paperback
common.buy 4 248 Ft
Dankbarkeit macht glücklich Ursula Richard / Book Paperback
common.buy 3 499 Ft
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Book Hardback
common.buy 5 253 Ft
Ducasse Desserts Alain Ducasse / Book Hardback
common.buy 9 282 Ft
Christliches Familienstellen Paul Imhof / Book Paperback
common.buy 9 798 Ft
Doerchlauchting Fritz Reuter / Book Paperback
common.buy 5 267 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 518 Ft
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Book Hardback
common.buy 16 172 Ft
Sermons for the Use of Families. by William Enfield William Enfield / Book Hardback
common.buy 12 911 Ft
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Book Paperback
common.buy 6 402 Ft
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Book Paperback
common.buy 5 741 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 303 Ft
Coming soon
New Edition Basic Survival Student Book Peter Viney / Book Paperback
common.buy 8 142 Ft
Battles with the Sea Robert Michael Ballantyne / Book Paperback
common.buy 7 435 Ft
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Book Paperback
common.buy 7 644 Ft
One Night Out Stealing Alan Duff / E-book Adobe ePub DRM
common.buy 3 731 Ft
Out to Old Aunt Mary's Howard Chandler Christy / Book Hardback
common.buy 11 450 Ft
Opcit at Large John Barr / Book Paperback
common.buy 5 416 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 575 Ft
The Resilient Culture Silke Rupprecht / Book Paperback
common.buy 9 942 Ft
Dio C'e Romeo Mannarino / Book Hardback
common.buy 10 357 Ft
Bread of Heaven Athena M Hodges / Book Paperback
common.buy 6 197 Ft
Michael Aaron Piano Course Lessons Michael Aaron / Book Paperback
common.buy 3 764 Ft
Campside Guide to Dutch Oven Cooking Paul Kautz / Book Paperback
common.buy 6 137 Ft
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Book Paperback
common.buy 4 532 Ft
Coming soon
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Book Paperback
common.buy 6 095 Ft
Traditional Livestock Production Carlos Palacios Riocerzo / Book Hardback
common.buy 67 839 Ft
Top
Like a Power Play / Book Paperback
common.buy 7 449 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?